JFlex 1.4.1 released

JFlex 1.4.1 is a maintenance release, fixing all know bugs of version 1.4.

It is available from http://jflex.sf.net and http://jflex.de