Fixes #211 Exported files not refreshed when modified outside Eclipse