#PyDev-215: Auto-update of PyDev interpreter infos changes order of interpreters