Repair javadoc files in place for CVE-2013-1571.