} else {
// no result node supplied; we must create our own
TinyBuilder builder = new TinyBuilder();
builder.setSystemId(result.getSystemId());
builder.setConfiguration(config);
builder.createDocument();
Document resultDoc = (Document)builder.getCurrentDocument();
((DOMResult)result).setNode(resultDoc);
return builder;
}
} else {