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