Fix for https://bugs.openjdk.java.net/browse/JDK-8212233
Fix for https://bugs.openjdk.java.net/browse/JDK-8212233

chrismattmann/drat,chrismattmann/drat,chrismattmann/drat,chrismattmann/drat,chrismattmann/drat