Files for CollectionTools added, forgotten in last commit.