docs: private String getShortClassName(String className) {
          int lastDot = className.lastIndexOf('.');
          if (lastDot >= 0) {
              className = className.substring(lastDot + 1);
          }
          return className.toLowerCase(Locale.US).replace('+', '$');
      }