add original eclipse.ini