Stop server

This change is to allow the server to be stopped from a still running javavm or repl. It depends on change in link - see pull request.