Enable Jedi plugin