| 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 |