fix for JRE