code: private Map<String, String> launchArgs(int port, String remoteVMOptions) {
          Map<String, String> argumentName2Value = new HashMap<>();
          argumentName2Value.put("main", remoteAgent + " " + port);
          argumentName2Value.put("options", remoteVMOptions);
          return argumentName2Value;
      }
docs: The JShell specific Connector args for the LaunchingConnector.
  
  @param portthe socket port for (non-JDI) commands
  @param remoteVMOptions any user requested VM options
  @return the argument map