Port Java highlighter