--- a/src/Tools/jEdit/src/jEdit.props Fri Mar 06 20:33:16 2020 +0100
+++ b/src/Tools/jEdit/src/jEdit.props Fri Mar 06 22:01:28 2020 +0100
@@ -231,7 +231,7 @@
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