[eclipse-sig] [Bug 1414473] New: Eclipse-PyDev runs pylint at normal priority, eating up all CPU resources