Het werkt op mijn Tomcat.

Ik heb wel het bestaande conf/Cataline/JavaMUD.xml uit de Tomcat folder moeten verwijderen, maar het werkt!