joliebig/featurehouse — pull request #3 by fbenduhn (2012-09-29 17:55:23+00:00)
Title: Duplicate modifier "final"

When two Java methods that both have the modifier "final", the resulting method contains a duplicate "final" modifier (e.g, public final final void foo()).

I have modified the method specializeModifiers(FSTTerminal terminalA, FSTTerminal terminalB) as a bug-fix. The relevant change is in line 209 in my version.