fix eclipse.ini
(cherry picked from commit 1e8b4f7)