made the neighbor set lock-free
Revert "made the neighbor set lock-free".

This reverts commit 68cdd4a5c75d83666bc0f4d497de38fa9ef4e331.
Merge branch 'unstable' of github.com:secure-software-engineering/soot-infoflow into unstable