Delete JavaHighlighter.java