Reported by steve_rowe on 2014-03-22 20:35 UTC
JFlex auto-generates a class comment on the generated scanner when the user doesn’t supply one.
But when the user does supply a class comment, but follows it with a class-level annotation (e.g. @deprecated), JFlex fails to detect the user-supplied class comment, and auto-generates an additional class comment.