}
// Merge strings:
for (BibtexString bs : pr.getDatabase().getStringValues()){
try {
database.addString((BibtexString)bs.clone());
} catch (KeyCollisionException e) {
// TODO: This means a duplicate string name exists, so it's not
// a very exceptional situation. We should maybe give a warning...?
}
}