Yeah your right, jetty seems to be a bit more verbose. What port does it run on by default?