quick fixes of servlet mapping