return new String[] {};
}
@Override
public int getResourceCount() throws XMLDBException {
check();
<BUG>return ctx.data.doc().length;
</BUG>
}
@Override
public String[] listResources() throws XMLDBException {

return new String[] {};
}
@Override
public int getResourceCount() throws XMLDBException {
check();
return ctx.data.doc().size();
}
@Override
public String[] listResources() throws XMLDBException {
