shortcuts: add eclipse.ini