Servlets renaming