Update eclipse.ini