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