use Java syntax highlighting