diff -r 7e7ed27fe625 -r c78d1dfc6571 lib/Tools/java_monitor
--- a/lib/Tools/java_monitor	Mon Dec 21 23:22:14 2020 +0100
+++ b/lib/Tools/java_monitor	Tue Dec 22 15:49:22 2020 +0100
@@ -4,4 +4,4 @@
 #
 # DESCRIPTION: monitor another Java process
 
-isabelle java isabelle.Java_Monitor "$@"
+isabelle java "-Dapple.awt.application.name=Java Monitor" isabelle.Java_Monitor "$@"