[forge-commits] [forge/furnace] 9ec0ea: JBIDE-17656 Workaround for JDK bug#8029516