WebAgent Option Pack and Tomcat 9