Servlet e eclipse

Estou seguindo um livro aqui, e uns dos exercicios precisa importar o servlet, " import javax.servlet.*; " instalei o tomcat e dentro da lib dele existe o servlet, mas quando eu vou importar no eclipse ele diz que nao existe o servlet, oq estou fazendo de errado?

tem q importar ele pro projeto dentro da pasta /lib