| Wed, 15 Jan 2020 19:54:50 +0100 | wenzelm | misc tuning, following hint by IntelliJ; | changeset | files |
| Wed, 15 Jan 2020 19:49:13 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 15 Jan 2020 19:46:04 +0100 | wenzelm | tuned -- avoid deprecated constructors; | changeset | files |
| Wed, 15 Jan 2020 19:45:06 +0100 | wenzelm | proper comparison of Option values, following hint by IntelliJ; | changeset | files |