[449520] Make org.eclipse.ocl.jdt.annotation7 available with
build.properties