src/Tools/jEdit/src/jEdit.props

 isabelle.increase-font-size.label=Increase font size
 isabelle.increase-font-size.shortcut2=C+ADD
 isabelle.increase-font-size.shortcut=C+PLUS
 isabelle.increase-font-size2.label=Increase font size (clone)
 isabelle.increase-font-size2.shortcut=C+EQUALS
-isabelle.jconsole.label=Java/VM Monitor
+isabelle.jconsole.label=Java/VM monitor
 isabelle.last-error.label=Go to last error
 isabelle.last-error.shortcut=CS+z
 isabelle.message.label=Show message
 isabelle.message.shortcut=CS+m
 isabelle.newline.label=Newline with indentation of Isabelle keywords