Use JAVA_TOOL_OPTIONS in Patch for CVE-2013-1537