Adding eclipse.ini since I always forgot some setting.