Migrating server from Jetty to VRaptor