JBIDE-17656 Workaround for JDK bug#8029516
Merge pull request #498 from VineetReynolds/JBIDE-17656

JBIDE-17656 Workaround for JDK bug#8029516