JBIDE-17656 Workaround for JDK bug#8029516