Highlighting java types