| Sat, 06 Oct 2018 20:49:40 +0200 | wenzelm | activate jdk-11 | changeset | files |
| Sat, 06 Oct 2018 21:20:48 +0200 | wenzelm | updated xstream.jar to 1.4.10 for Java 9/10/11 (see http://x-stream.github.io); | changeset | files |
| Sat, 06 Oct 2018 19:15:12 +0200 | wenzelm | updated to jdk-11: jre is only a symlink to jdk; | changeset | files |
| Sat, 06 Oct 2018 17:37:09 +0200 | wenzelm | support for jdk-11; | changeset | files |