NXP-15599: use javax.servlet-api