Remove <servlet-mapping> that have no matching <servlet>