org.objectweb.dsrg.sofa.cushion.jpfcheck
Classes 
EnvironmentInfo
JPFCheckAction
JPFCheckActionBackend
JPFCheckerSearch
ProtocolListener