A opção import javax.servlet.http.HttpServlet, não esta disponível.
No eclipse .
Você está vendo a versão anterior da nova experiência da Alura que estamos preparando para você. Em breve, ela ganha uma identidade visual novinha totalmente pensada em potencializar seus estudos!
Solucionado
A opção import javax.servlet.http.HttpServlet, não esta disponível.
No eclipse .
Por que você provavelmente não tem o jar dele no seu eclipse, é estranho pois esse sempre vem, você não desinstalou ele?