docs: private synchronized void maybeSchedulePingServerTask(int delta) {
          maybeStopPingServerTask();
          if (pingInterval > 0) {
              int nextPingIn = pingInterval - delta;
              LOGGER.fine("Scheduling ServerPingTask in " + nextPingIn + " seconds (pingInterval="
                              + pingInterval + ", delta=" + delta + ")");
              nextAutomaticPing = schedule(pingServerRunnable, nextPingIn, TimeUnit.SECONDS);
          }
      }