Keeping in close sync jdt.core and reexported jdt.core.compiler.batch.
API filter added as the reexport of the very same versioned batch
compiler has always been the case.