if (components.size() > 0) b.append(" " + components.size() + " extra components.");
    public String toString()    {      StringBuffer b = new StringBuffer();      b.append(host);      b.append(":");      b.append(port);      b.append(" (v");      b.append(version);      b.append(")");      return b.toString();    }