754755756757758759760761762763764
cur = rest; id = restRdf; } RDFImporter importer = new RDFImporter(this); buffer.writeTo(importer.statementSink()); return true; } // if the connection is closed, and a thread tries to access it, bail out ASAP before something confusing happens