Quando, in eclipse, provo a fare l'import di javax.servlet non ricevo errori. Quindi evidentemte trova quel package da qualche parte. Il problema si verifica in fase di compilazione.