061220, JDK 7, Ocean L&F. I have gotten annoyed with the nonstandard keybindings
Alt-Left and Alt-Right for Previous and Next Tab. Firefox uses Ctrl-PageUp and
Ctrl-PageDown in addition to Ctrl-Tab, so I have gotten used to that, and anyway
using the Alt key in applications except for mnemonics is usually a bad idea. I
decided to bind these keys like in Firefox. Also Previous/Next Inner Tab can be
on Ctrl-Shift-Page*, which is a better choice of keys because
Alt-Shift-Left/Right is already bound in my Gnome window manager.

Mini-problem #2: these actions are not in the Window folder in the key binding
section of the Options dialog where you might expect them, but rather in the Go
To folder (which BTW does not match any other GUI element - should be Navigate).

Main problem: after making these bindings, Ctrl-Page* do not do anything. I
guess JScrollPane is grabbing them for the horizontal scroll actions, which I
never use. (If your source code is scrolling horizontally, your lines are too
long!) Is there some way to override the Swing bindings?

Ctrl-Shift-Page* do work as expected, e.g. for switching between the Java editor
and the form editor.