return (String[]) resources.toArray( new String[resources.size()] ); }
if (childCollections == null) readCollection(); return (String[]) resources.toArray(new String[resources.size()]); }
    public String[] listResources() throws XMLDBException {        return (String[]) resources.toArray( new String[resources.size()] );    }