code: protected static String getClassName(ProgramElementDoc doc, boolean binaryName) {
          PackageDoc containingPackage = doc.containingPackage();
          String className = doc.name();
          if (binaryName) {
              className = className.replaceAll("\\.", "\\$");
          }
          return containingPackage.name().length() > 0 ?
                  String.format("%s.%s", containingPackage.name(), className) :
                  String.format("%s", className);
      }
docs: Reconstitute the class name from the given class JavaDoc object.
  
  @param doc the Javadoc model for the given class.
  @return The (string) class name of the given class.