static void swing_standardTabBehavior(KeyEvent key) {
  if ((key.getModifiers() & ActionEvent.SHIFT_MASK) != 0)
    KeyboardFocusManager.getCurrentKeyboardFocusManager().focusPreviousComponent();
  else
    KeyboardFocusManager.getCurrentKeyboardFocusManager().focusNextComponent();
}