if (prefix != null) { buffer.append(prefix.toString()); buffer.append(".");
if (prefix != null) { buffer.append(prefix.toString()); buffer.append("."); } buffer.append(ident); return buffer.toString();
  public String toString() {    StringBuffer	buffer = new StringBuffer();    if (prefix != null) {      buffer.append(prefix.toString());      buffer.append(".");    }    buffer.append(ident);    return buffer.toString();  }