}
    public void accept(Visitor visitor) {        Enumeration enum = elements();        while (enum.hasMoreElements()) {            Definition def = (Definition) enum.nextElement();            def.accept(visitor);        }