A basex installation of basex in a tomcat