grsecurity, tomcat and XML