Configurer JBoss sous Eclipse

Bonjour,

Je suis étudiant en deuxième informatique de gestion. Nous avons un cour de JSP. Etant actuellement en blocus, j'ai décidé de déplacer tout mon environnement de travail des pcs de l'école (sous Windows XP) vers mon pc (Ubuntu 12.04).

J'ai installé le serveur JBoss et celui-ci semble fonctionné. De plus, j'ai changé la configuration de mes projets (déjà crée) pour qu'il prenne compte OpenJDK-1.7 au lieu de JavaSE-1.6.

Malheureusement, Eclipse n'arrive pas à trouver la classe Servlet ainsi que toutes les classes qui hérite d'elle.
J'ai déjà eu ce problème en classe et le prof m'avait montré comment le résoudre. Malheureusement, j'ai oublié comment on avait fait (je suis sur que je dois rajouter ou modifier quelques chose dans le build path)

Je vous transmet, ci-dessous, une copie de mon build path d'un de mes projets en JSP:
http://img32.imageshack.us/img32/8053/slection038.png

D'ores et déjà, je vous remercie,
sylvainvh