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() {