Get rid of deprecated servlet mapping.