After updating an open properties file with "git pull" the file isn't reloaded by the editor.
This makes the editor useless in multi-developer environments.
BTW. the egit plugin shows there are something changed (new line for example) on the left border.