NXP-12157 mark servlet-api as provided