fixed servlet mapping for REST