More conversion to Java 7.

Updated JFlex to version 1.5.1.

Fixed a reflection bug in SerialVersionUID.