| Tue, 05 Jan 2021 22:05:18 +0100 | wenzelm | more robust; | changeset | files |
| Tue, 05 Jan 2021 21:58:00 +0100 | wenzelm | prefer official Java 9 operations; | changeset | files |
| Tue, 05 Jan 2021 21:47:36 +0100 | wenzelm | obsolete; | changeset | files |
| Tue, 05 Jan 2021 21:46:35 +0100 | wenzelm | proper dock icon for macOS; | changeset | files |