Ah, you are probably right. These could be changed to sets.

There aren't that many callers inside of JGit, but changing this type from Collection to Set will impact our public API and break it. Are we ready to go to JGit 2.0?