Buenas Tardes compañeros;
Para aquellos que estan avanzando el proyecto con Tomcat 9 y librerias de Javax.
Les recomiendo que usen este Jetty 10.0.15(https://repo1.maven.org/maven2/org/eclipse/jetty/jetty-home/10.0.15/jetty-home-10.0.15.zip) - https://www.eclipse.org/jetty/download.php ya que es el compatible para la libreria Javax.
Continúan con los mismos pasos del profesor en el cmd y debería funcionar.
saludos.