code: public void setPort(int port) {
      options.get(PORT).setValue(PORT.sanitize(String.valueOf(port)));
    }
docs: Specifies the port the debugger should connect to.
  
  @param port local port number for the debugger to connect to