modify servlet names