fix changelog headers
[fanfix.git] / Highlighter.java