When seeking past the end of the last recorded file, playback gets stuck at the end of the last file and all navigation gets disabled. Suspected problem in MediaPlayerFragment.jump(int)