Changed ext Servlet dependency number inadvertendly - back to 2.5.0