Add Jedi plugin