Keyboard shortcuts to switch among split views in jEdit

Here’s the keyboard shortcuts to navigate or switch among split views or text areas or window panes (whatever you call it) in jEdit.

Alt-Page Up	Send keyboard focus to previous text area.
Alt-Page Down	Send keyboard focus to next text area.