Naming the Servlets appropriately