Better Java highlighting