org.bimserver.plugins.modelchecker.ModelCheckerPlugin org.bimserver.javamodelchecker.JavaModelCheckerPlugin Java Model Checker Plugin