Fixed renaming of eclipse.ini