2019-05-02 What a surprise: I ran the Java updater on my office computer after I was told that I am supposed to click on that icon, be- cause it doesn't get updated automatically by the admins in the background. Anyways. I clicked on it and was presented a windows which suggested (!) (Really, it did!) to remove Java as I had not used it for six months. If I would need it again somewhen later I could easily reinstall it from java.com. But maybe I only misunderstood it only, as the localization of the updater was really bad in general. What a crap! http://marmaro.de/lue/ markus schnalke