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();  }