WFLY-1935 Fix servlet mapping problem where extension servlets would not be considered for some paths