| Wed, 30 Jun 2021 15:35:39 +0200 | wenzelm | clarified package: towards stand-alone setup; | changeset | files |
| Wed, 30 Jun 2021 14:03:14 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 30 Jun 2021 13:49:32 +0200 | wenzelm | more direct java.home, according to current jdk directory layout; | changeset | files |