[449520] Introduce and use org.eclipse.ocl.jdt.annotation7
[449520] Introduce org.eclipse.ocl.jdt.annotation7
[449520] Make org.eclipse.ocl.jdt.annotation7 available with
build.properties
[449520] Improve documentation