Java fix for when JAVA_OPTIONS is set