Tomcat customisation for shibboleth undergoing