Index: /trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDgenerateGreedy.java
===================================================================
--- /trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDgenerateGreedy.java	(revision 293)
+++ /trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDgenerateGreedy.java	(revision 294)
@@ -21,13 +21,25 @@
 /**
  * <p>
- * Command to generate test suite with a greedy strategy to achieve a desired coverage.
+ * Command to generate test suite with a greedy strategy to achieve a desired
+ * coverage.
  * </p>
+ * 
  * @author Steffen Herbold
  * @version 1.0
  */
 public class CMDgenerateGreedy implements Command {
-	
+
+	/**
+	 * <p>
+	 * Tolerance for double comparisons
+	 * </p>
+	 */
 	final double eps = 0.000000000001;
 
+	/*
+	 * (non-Javadoc)
+	 * 
+	 * @see de.ugoe.cs.util.console.Command#run(java.util.List)
+	 */
 	@Override
 	public void run(List<Object> parameters) {
@@ -60,5 +72,5 @@
 		}
 		model = (IStochasticProcess) dataObject;
-		
+
 		// set up everything
 		List<List<? extends Event<?>>> allSequences = new ArrayList<List<? extends Event<?>>>();
@@ -67,28 +79,33 @@
 		}
 		Console.traceln("" + allSequences.size() + " possible");
-		
-		Set<List<? extends Event<?>>> allSubSeqs = SequenceTools.containedSubSequences(allSequences, coverageDepth);
-		Map<List<? extends Event<?>>, Double> weightMap = SequenceTools.generateWeights(model, allSubSeqs);
+
+		Set<List<? extends Event<?>>> allSubSeqs = SequenceTools
+				.containedSubSequences(allSequences, coverageDepth);
+		Map<List<? extends Event<?>>, Double> weightMap = SequenceTools
+				.generateWeights(model, allSubSeqs);
 		Set<List<? extends Event<?>>> coveredSubSeqs = new LinkedHashSet<List<? extends Event<?>>>();
-		
-		List<Set<List<? extends Event<?>>>> containedSubSeqs = new ArrayList<Set<List<? extends Event<?>>>>(allSequences.size());
-		for( List<? extends Event<?>> sequence : allSequences ) {
-			List<List<? extends Event<?>>>  wrapper = new LinkedList<List<? extends Event<?>>>();
+
+		List<Set<List<? extends Event<?>>>> containedSubSeqs = new ArrayList<Set<List<? extends Event<?>>>>(
+				allSequences.size());
+		for (List<? extends Event<?>> sequence : allSequences) {
+			List<List<? extends Event<?>>> wrapper = new LinkedList<List<? extends Event<?>>>();
 			wrapper.add(sequence);
-			Set<List<? extends Event<?>>> currentSubSeqs = SequenceTools.containedSubSequences(wrapper, coverageDepth);
+			Set<List<? extends Event<?>>> currentSubSeqs = SequenceTools
+					.containedSubSequences(wrapper, coverageDepth);
 			containedSubSeqs.add(currentSubSeqs);
 		}
-		
+
 		Double[] sequenceGain = new Double[allSequences.size()];
 		List<List<? extends Event<?>>> testSuite = new LinkedList<List<? extends Event<?>>>();
-		CoverageCalculatorProcess coverageCalculator = new CoverageCalculatorProcess(model, testSuite, coverageDepth);
+		CoverageCalculatorProcess coverageCalculator = new CoverageCalculatorProcess(
+				model, testSuite, coverageDepth);
 		double currentCoverage = 0.0d;
-		
+
 		// Build test suite
-		while( currentCoverage<desiredCoverage ) {
-			for( int i=0 ; i<allSequences.size() ; i++ ) {
+		while (currentCoverage < desiredCoverage) {
+			for (int i = 0; i < allSequences.size(); i++) {
 				double gain = 0.0d;
-				for( List<? extends Event<?>> subSeq : containedSubSeqs.get(i) ) {
-					if( !coveredSubSeqs.contains(subSeq) ) {
+				for (List<? extends Event<?>> subSeq : containedSubSeqs.get(i)) {
+					if (!coveredSubSeqs.contains(subSeq)) {
 						gain += weightMap.get(subSeq);
 					}
@@ -97,5 +114,5 @@
 			}
 			int maxIndex = ArrayTools.findMax(sequenceGain);
-			if( sequenceGain[maxIndex] <= 0.0+eps ) {
+			if (sequenceGain[maxIndex] <= 0.0 + eps) {
 				Console.traceln("No gain anymore! Desired coverage cannot be satisfied!");
 				break;
@@ -106,5 +123,5 @@
 			currentCoverage = coverageCalculator.getCoveragePossibleWeight();
 		}
-		
+
 		if (GlobalDataContainer.getInstance().addData(sequencesName, testSuite)) {
 			CommandHelpers.dataOverwritten(sequencesName);
@@ -114,4 +131,9 @@
 	}
 
+	/*
+	 * (non-Javadoc)
+	 * 
+	 * @see de.ugoe.cs.util.console.Command#help()
+	 */
 	@Override
 	public void help() {
