Solução erro 404 Eclipse / Tomcat / casadocodigo

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!