GRECLIPSE

Save operation does save the file, but the editor is left dirty