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