An interesting case of JRE sandbox breach (CVE-2012-0507)