#9 Only one instance

[Manfred Hantschel]

When working with the Jetty server it would be incredibly useful, tha the launcher, when starting, could shutdown all other Jetties running on the same port. Jetty usually does not mention this (don't know why, I think it switches the port) and it happens to me quite often.