org.processmining.mining
Interfaces 
MiningPlugin
MiningResult
Classes 
DummyMiningPlugin
DummyMiningResult
FileResult
MiningPluginCollection