Eclipse: update project file