updating eclipse.ini.md