update eclipse.ini