changes in EditingInJarm document