config jedi