Copy /ext/app.server.properties to /ext/app.server.${user.name}.properties where ${user.name} is the user name you used to log into your operating system.

Edit /ext/app.server.${user.name}.properties and set app.server.type=jboss-jetty to use JBoss/Jetty as your application server. You can modify the value of app.server.type to use other application servers.

Copy /ext/build.properties to /ext/build.${user.name}.properties where ${user.name} is the user name you used to log into your operating system.

Edit /ext/build.${user.name}.properties and set jsp.precompile=on to precopmile JSPs for JBoss+Jetty or JBoss+Tomcat. This takes a few minutes and should only be used when deploying to a production server.