attrs.addElement(attr); }
    public void addAttribute(VizAttr attr) {        Enumeration enum = attrs.elements();        while (enum.hasMoreElements()) {            VizAttr a = (VizAttr) enum.nextElement();            if (a.getName().equals(attr.getName())) {                a.setValue(attr.getValue());                return;            }        }