A custom realm for Tomcat where user can be stored in a BaseX collection