URL-rewriting for Servlet, JSF, and Java EE