eclipse settings update: cmd+e does both activate editor and next editor.