Change MircUserManager Servlet to protect against cross-site scripting attacks