| changeset 72981 | c78d1dfc6571 |
| parent 72978 | 7e7ed27fe625 |
| child 74360 | 9e71155e3666 |
--- 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 "$@"