Fix out of sync problem occuring during editing in web client and
eclipse client. Remove dirty flag in eclipse editor when resource change
message arrives.
Merge branch 'master' into status-info