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.