Hi, please review this small cleanup which started off under a different subject [0] but turned out to be the wrong thing to do. Still the cleanup parts seem to be valuable, so requesting a review for that here.
Webrev: http://cr.openjdk.java.net/~clanger/webrevs/8224729.1/ Bug: https://bugs.openjdk.java.net/browse/JDK-8224729 Thanks Christoph [0] https://mail.openjdk.java.net/pipermail/security-dev/2019-May/019967.html
