--- extras/antlr-jedit.xml~ 2003-03-01 23:28:04.000000000 +0200 +++ extras/antlr-jedit.xml 2003-03-01 23:38:17.000000000 +0200 @@ -16,9 +16,6 @@ - - - @@ -97,9 +94,7 @@ - - - + /**/ @@ -149,9 +144,6 @@ - - - {