Ao seguir os passos para implantação do projeto-exemplo casadocodigo no tomcat via eclipse, o aluno pode encontrar o erro 404 acessando o contexto /casadocodigo.
Notei ainda que existem várias perguntas no fórum sem resposta para este mesmo problema. Como não consigo respondê-las, decidi abrir novo tópico para comentar minha solução.
No meu caso, bastou adicionar ao pom.xml do projeto o seguinte código:
<build>
<plugins>
...
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-compiler-plugin</artifactId>
<version>3.8.1</version>
<configuration>
<source>1.8</source>
<target>1.8</target>
</configuration>
</plugin>
Testei no Tomcat 7, 8, 8.5 e 9. Espero que ajude mais alguém!