fix eclipse.ini