#PyDev-214: Auto-update of PyDev interpreter infos race with editing in GUI