rename servlet file