Hack to work with older tomcat.