Is Access Gateway R12.7 affected by Tomcat Vulnerability (CVE-2017-12617)?