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