docs: public static void createServerRunningMarkerFile(BootstrapConfig bootConfig) {
          File serverWorkArea = bootConfig.getWorkareaFile(null);
          File serverRunningMarkerFile = null;
          try {
              serverRunningMarkerFile = new File(serverWorkArea, BootstrapConstants.SERVER_RUNNING_FILE);
              serverRunningMarkerFile.deleteOnExit();
              boolean newFile = serverRunningMarkerFile.createNewFile();
              if (!newFile)
                  bootConfig.forceCleanStart();
          } catch (IOException e) {
              throw new LaunchException("Can not create or write to server running marker file, check file permissions", MessageFormat.format(BootstrapConstants.messages.getString("error.serverDirPermission"),
                                                                                                                                              serverRunningMarkerFile.getAbsolutePath()), e);
          }
      }