fix strange selection behavior after a merge
treeefea3857e59f43b2ddda7bc32094a20dda005126
-rw-r--r-- 27 .gitignore
drwxr-xr-x - org.eclipse.emf.compare-parent
drwxr-xr-x - packaging
drwxr-xr-x - plugins