Injects code fragments checking OCL contraints into user java code. The tool is started by java tudresden.ocl.injection.Main.