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