fixed a bug in testChooseDocument
replaced SCorpus.equals() and SDocument.equals() with == because of if
two documents or corpora have the same SelementId (which could happen in
merging) equals() results true, but should be false in our case