m_CurrentNode = node;
  public Object readFont(Element node) throws Exception {    Object      result;    Vector      children;    Element     child;    int         i;    int         style;    int         size;    String      name;    String      fontname;    // for debugging only    if (DEBUG)       trace(new Throwable(), node.getAttribute(ATT_NAME));        result = null;    children = XMLDocument.getChildTags(node);    fontname = "";    style    = 0;    size     = 0;    for (i = 0; i < children.size(); i++) {      child = (Element) children.get(i);      name = child.getAttribute(ATT_NAME);      if (name.equals(VAL_NAME))        name = (String) invokeReadFromXML(child);      else if (name.equals(VAL_STYLE))        style = readIntFromXML(child);      else if (name.equals(VAL_SIZE))        size = readIntFromXML(child);      else        System.out.println("WARNING: '" + name            + "' is not a recognized name for " + node.getAttribute(ATT_NAME) + "!");    }        result = new Font(fontname, style, size);    return result;  }