code: static String getClassName(ClassSymbol c, boolean full) {
          if (full) {
              return c.getQualifiedName().toString();
          } else {
              String n = "";
              for ( ; c != null; c = c.owner.enclClass()) {
                  n = c.name + (n.equals("") ? "" : ".") + n;
              }
              return n;
          }
      }
docs: Return the class name as a string.  If "full" is true the name is
  qualified, otherwise it is qualified by its enclosing class(es) only.