workaround fix for the oracle JDK bug (6932571)