I am trying to switch from Jetty 11 to Jetty 12. I’m trying the most basic possible thing. I created a simple web app using Spring Initializr. I selected WAR deployment, made the WAR file, and copied it into my jetty-base/webapps directory as ROOT.war. In my start.d, I have :