Patch Set 3:

Rebased on master. I couldn't reproduce the ConcurrentModificationException with this. I can hardly imagine that this change can be the reason for it, as this change is dealing with the Eclipse Preferences, not Git configuration handling.