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.