public String toString()
public final String toString()
    public String toString()    {      return ("name=" + name + "; description=" + description	      + "; vendor=" + vendor + "; version=" + version);    }