Name of method launching the jetty server

[pja35]

That name is something like run4tests and runs it on port 8081. There is an old run that launches on 8080. Thats a bit confusing, since the run4tests has become the main thing we use.