Workaround for JRE bug #7195480 on Mac OS X