Fix tomcat-users.xml