Não está mostrando a classe HttpServlet. Durante a aula 3 percebi que na pasta Libraries do curso tem mais 3 itens (Apache Tomcat v7.0, EAR Libaries e Web App Libaries) que não aparecem no meu Eclipse. É por isso que não aparece a HttpServlet ? Como faço para configurar isso ? Fui nas propriedades do projeto/Java Builder Path/aba Libraries e os três itens estão ali. Parece que está tudo certinho.

Eclipse Neon 4.6.0, JDK 8.102 e Tomcat 9.0.

Não sei o que era mas resolvi o problema desinstalando tudo e instalando o Eclipse Mars e Tomcat 8.