String getIdentifiableName() {
   OJClass declarer = getDeclaringClass();
   String declarername;
   if (declarer == null) {
     declarername = "*" + id;
   } else {
     declarername = declarer.getName();
   }
   return declarername + "." + getName();
 }
  public String toString() {
    OJClass declarer = getDeclaringClass();
    String declarername = (declarer == null) ? "*" : declarer.getName();

    StringBuffer buf = new StringBuffer();
    String modif = getModifiers().toString();
    if (!modif.equals("")) {
      buf.append(modif);
      buf.append(" ");
    }
    buf.append(getType().getName());
    buf.append(" ");
    buf.append(declarername);
    buf.append(".");
    buf.append(getName());
    return buf.toString();
  }