docs: private static String superMethodName(Method method) {
          String returnType = method.getReturnType().getName();
          return "super$" + method.getName() + "$"
                  + returnType.replace('.', '_').replace('[', '_').replace(';', '_');
      }