exclude old jetty / servlet api