New Upstream Snapshot - jflex

There were merge conflicts while merging a new upstream version.

More details

Full run details

Historical runs