Java language support for the CodeMirror code editor