Class	Coverage
KrmsTypeServiceImplTest KrmsTypeServiceImplTest	0.0 (0%)
PropositionServiceImplTest PropositionServiceImplTest	0.0 (0%)