Servlets need a unique name to avoid error when replacing