Better filtering in MircUserManagerServlet