Changed Jersey REST servlet name.