Mark J. Wielaard: Java bug CVE-2012-4681