Quando fiz o projeto gerenciador as bibliotecas eram importadas com "import jakarta.servlet.http.HttpServlet;"... Em determinado momento aconteceu um erro que eu não pude identificar a origem, então decidi baixar o código do professor para poder continuar, mas os imports do prof vêm como "import javax.servlet.http.HttpServlet;". E não comsigo fazer nenhum import pelo código dele.