code: public String getDestinationName() {
          String out = destinationName;
          if (out == null)
              out = getName() + ".jar";
          return out;
      }
docs: Returns the file name of the generated archive.
  
  @return the name