code: public String constructShortName() {
          String result = shortName;
          if(dir != null) {
              result = dir + "/" + result;
          }
          if(extension != null) {
              result = result + "." + extension;
          }
          return result;
      }
docs: Constructs shortName from dir and extension (if available), used in RssGenerator
  @return Name