preferences files for eclipse configurations