Adds default port 9999 for debugging if no port is given with the -jvm-debug instruction
Merge pull request #466 from typesafehub/wip/h3nk3-default-debugging-port

Adds default port 9999 for debugging if no port is given with the -jvm-d...