Added detection for Java vulnerability CVE-2013-1493