Documentation available at https://github.com/eclipse-jdt/eclipse.jdt.core/tree/ef3d6f2115df89d7964bc13aa363ab8d6bd21256/org.eclipse.jdt.core.compiler.batch