if (rs.hasTimestamp()) {
versionParameter = new RequestParameterVersionTimestamp(rs.getTimestamp());
} else {
versionParameter = new RequestParameterVersionCurrent();
}
body.add(contentPrinter.getLinesForNodeList(new SchemaNodeList(rs),
versionParameter));
} else {
for (int i = 0; i < rs.size(); i++) {
contentPrinter.printTextNode((DatabaseTextNode)rs.get(i), body);
}