diff -Naur jflex-1.4.3.orig/src/JFlex/tests/AllTests.java jflex-1.4.3/src/JFlex/tests/AllTests.java
--- jflex-1.4.3.orig/src/JFlex/tests/AllTests.java 2009-01-31 09:52:34.000000000 +0100
+++ jflex-1.4.3/src/JFlex/tests/AllTests.java 2012-03-12 13:47:35.835005672 +0100
@@ -32,7 +32,7 @@
public class AllTests {
public static void main(String[] args) {
- junit.textui.TestRunner.run(AllTests.class);
+// junit.textui.TestRunner.run(AllTests.class);
}
public static Test suite() {