Eclipse project file ... may be useful anyway