#6 %eofval override %cup

[Gerwin Klein]

The %eofval directive did override %cup settings in
version 1.0 of JFlex. Version 1.1 does not allow this
(produces not compilable code). Release 1.1.1 of JFlex
now contains the (initially not intended but very
useful) override feature with proper documentation in
the manual.

This feature request was made by Duncan Temple Lang.