Minor changes to killing and starting of JEX.