code: public String shortName() {
          String classname = getClass().getName();
          int last = classname.lastIndexOf(".");
          return classname.substring(last + 1);
      }
docs: Returns a short, descriptive name for the node, such as
  "ArrayComprehension".