Added jedi plugin #2