org.topcased.service.oclchecker
Classes 
OCLCheckerPlugin