Index: /trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDcalcCoverage.java
===================================================================
--- /trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDcalcCoverage.java	(revision 123)
+++ /trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDcalcCoverage.java	(revision 124)
@@ -5,5 +5,5 @@
 import java.util.List;
 
-import de.ugoe.cs.eventbench.coverage.CoverageCalculator;
+import de.ugoe.cs.eventbench.coverage.CoverageCalculatorProcess;
 import de.ugoe.cs.eventbench.data.Event;
 import de.ugoe.cs.eventbench.data.GlobalDataContainer;
@@ -61,5 +61,5 @@
 				Console.print(sequenceName);
 				for( int length=minLength ; length<=maxLength ; length++) {
-					CoverageCalculator covCalc = new CoverageCalculator(process, sequences, length);
+					CoverageCalculatorProcess covCalc = new CoverageCalculatorProcess(process, sequences, length);
 					Console.print(";" + covCalc.getCoverageAllNoWeight());
 					Console.print(";" + covCalc.getCoveragePossibleNoWeight());