Stop using the "Jedi" package