docs: private static synchronized Long generateGuid() {
          StringBuilder builder = new StringBuilder();
          builder.append(System.currentTimeMillis());
          builder.append(guidCounter++);
          // Reset the counter if it gets too high.  It's always a number
          // between 100 and 999 so that the # of digits in the guid is
          // always the same.
          if (guidCounter > 999) {
              guidCounter = 100;
          }
          return Long.parseLong(builder.toString());
      }