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