highlighting of matches in java source