Re: [basex-talk] Tomcat and UserPrincipal