change jedi config