Index: trunk/autoquest-core-coverage/src/main/java/de/ugoe/cs/autoquest/coverage/CoverageCalculatorObserved.java
===================================================================
--- trunk/autoquest-core-coverage/src/main/java/de/ugoe/cs/autoquest/coverage/CoverageCalculatorObserved.java	(revision 2182)
+++ trunk/autoquest-core-coverage/src/main/java/de/ugoe/cs/autoquest/coverage/CoverageCalculatorObserved.java	(revision 2218)
@@ -81,5 +81,5 @@
      *            sequences for which the coverage is calculated; must not be null
      * @param length
-     *            length of the subsequences for which the coverage is analyzed; must be >0
+     *            length of the subsequences for which the coverage is analyzed; must be &gt;0
      * @throws IllegalArgumentException
      *             thrown if observedSequences or sequences is null or length less than or equal to
Index: trunk/autoquest-core-coverage/src/main/java/de/ugoe/cs/autoquest/coverage/CoverageCalculatorProcess.java
===================================================================
--- trunk/autoquest-core-coverage/src/main/java/de/ugoe/cs/autoquest/coverage/CoverageCalculatorProcess.java	(revision 2182)
+++ trunk/autoquest-core-coverage/src/main/java/de/ugoe/cs/autoquest/coverage/CoverageCalculatorProcess.java	(revision 2218)
@@ -86,5 +86,5 @@
      *            sequences for which the coverage is calculated; must not be null
      * @param length
-     *            length of the subsequences for which the coverage is analyzed; must be >0
+     *            length of the subsequences for which the coverage is analyzed; must be &gt;0
      * @throws IllegalArgumentException
      *             thrown if process or sequences is null or length less than or equal to 0
