public void removeResource(final Resource res) throws XMLDBException {
check();
final BXXMLResource del = checkXML(res);
final Data data = ctx.data;
if(del.data != data && del.data != null) throw new XMLDBException(
<BUG>ErrorCodes.NO_SUCH_RESOURCE, ERR_UNKNOWN + data.meta.name);
Delete.delete(ctx, getResource(del.getId()).pre);

}</BUG>
@Override

public void removeResource(final Resource res) throws XMLDBException {
check();
final BXXMLResource del = checkXML(res);
final Data data = ctx.data;
if(del.data != data && del.data != null) throw new XMLDBException(
ErrorCodes.NO_SUCH_RESOURCE, ERR_UNKNOWN + data.meta.name);
final IntList il = new IntList();
il.add(getResource(del.getId()).pre);
Delete.delete(ctx, il);
}
@Override
