This directory contains the contents of jflex-2.2.zip

MINUS the JFlex/lib/JFlex.jar file and JFlex/bin, JFlex/doc, and 
      JFlex/examples directories
PLUS: sources rebuilt under a v1.3 JDK into JFlex/lib/sed-jflex.jar
