tree bf7b186d72721305cfcf87cda39ca5b693d51512
parent 29ddd0717d4c502e16450223a002b1a6ff3c6822
author dwagelaar <dwagelaar> 1234699322 +0000
committer dwagelaar <dwagelaar> 1234699322 +0000

Allow preservation of previously set XMI IDs when using useIDs/removeIDs