Einfach alte Java Runtimes löschen

https://netbib.hypotheses.org/78616734