server launch script re-added. Eclipse stupidly removes this when you
remove one of the copies of the debug configurations in its debug menu.
This is a problem, we don't want to loose this as we need it for
debugging.
Added javadoc to menu functions.