Added <provided> to servlet-api