| Fri, 24 Sep 2021 13:40:14 +0200 | wenzelm | grant access to sun.tools.jconsole, as required for Java 17; | file | diff | annotate |
| Tue, 22 Dec 2020 15:49:22 +0100 | wenzelm | more friendly desktop application on macOS; | file | diff | annotate |
| Mon, 21 Dec 2020 23:22:14 +0100 | wenzelm | less aggressive auto-build: avoid change of running jar; | file | diff | annotate |
| Mon, 21 Dec 2020 22:47:53 +0100 | wenzelm | more robust Java monitor: avoid odd warning about insecure connection; | file | diff | annotate |