org.topcased.service.oclchecker.services.external
Classes 
ExternalCheckService
ExternalStatisticService