Added jedi plugin