Eclipse .ini file