bundles/org.eclipse.wst.sse.core/DevTimeSupport/SedModel/HTMLTokenizer/devel/JFlex/README.sed

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