docs: public ReturnCode pause() {
          // Use initialized bootstrap configuration to find the server lock file.
          ServerLock serverLock = ServerLock.createTestLock(bootProps);
  
          // we can not pre-test the server: on some platforms, the server lock file
          // can be deleted, which means waiting to see if it is there leads to
          // an abandoned server.
          ReturnCode pauseRc = ReturnCode.PAUSE_ACTION;
  
          // The lock file may have been (erroneously) deleted: this can happen on linux
          boolean lockExists = serverLock.lockFileExists();
  
          String targetParm = launchArgs.getOption("target");
          if (lockExists) {
              // If the lock exists, check quickly to see if the process is holding it.
              if (serverLock.testServerRunning()) {
                  // We need to tell the server to pause...
                  ServerCommandClient scc = new ServerCommandClient(bootProps);
  
                  if (scc.isValid()) {
  
                      if (targetParm != null) {
                          System.out.println(MessageFormat.format(BootstrapConstants.messages.getString("info.pausingListeners.target"), serverName));
                          targetParm = "target=" + targetParm;
                      } else {
                          System.out.println(MessageFormat.format(BootstrapConstants.messages.getString("info.pausingListeners"), serverName));
                      }
  
                      pauseRc = scc.pause(targetParm);
                  } else {
                      // We can't communicate to the server...
                      pauseRc = ReturnCode.SERVER_UNKNOWN_STATUS;
                  }
              } else {
                  // nope: lock not held, server not up
                  pauseRc = ReturnCode.SERVER_UNKNOWN_STATUS;
              }
          } else {
              // no lock file: we assume the server is not running, we have nothing to do.
              pauseRc = ReturnCode.SERVER_UNKNOWN_STATUS;
          }
  
          if (pauseRc == ReturnCode.OK) {
              if (targetParm != null) {
                  System.out.println(MessageFormat.format(BootstrapConstants.messages.getString("info.pausedListeners.target"), serverName));
              } else {
                  System.out.println(MessageFormat.format(BootstrapConstants.messages.getString("info.pausedListeners"), serverName));
              }
          } else if (pauseRc == ReturnCode.SERVER_UNKNOWN_STATUS) {
              System.out.println(MessageFormat.format(BootstrapConstants.messages.getString("info.serverNotRunning"), serverName));
          } else if (pauseRc == ReturnCode.SERVER_COMMAND_PORT_DISABLED_STATUS) {
              System.out.println(MessageFormat.format(BootstrapConstants.messages.getString("error.server.pause.command.port.disabled"), serverName));
          } else {
              if (targetParm != null) {
                  System.out.println(MessageFormat.format(BootstrapConstants.messages.getString("info.pauseFailedException.target"), serverName));
              } else {
                  System.out.println(MessageFormat.format(BootstrapConstants.messages.getString("info.pauseFailedException"), serverName));
              }
          }
  
          return pauseRc;
      }