You can launch the sharkserver by specifying the port using -p in command line, e.g.

    bin/shark --service sharkserver -p 9000