src/share/classes/com/sun/java/swing/plaf/windows/WindowsTabbedPaneUI.java

rev 1580 : 6727661: Code improvement and warnings removing from the swing/plaf packages
Summary: Removed unnecessary castings and other warnings
Reviewed-by: alexp
Contributed-by: Florian Brunner <fbrunnerlist@gmx.ch>

*** 51,83 ****
  public class WindowsTabbedPaneUI extends BasicTabbedPaneUI {
      /**
       * Keys to use for forward focus traversal when the JComponent is
       * managing focus.
       */
!     private static Set managingFocusForwardTraversalKeys;
  
      /**
       * Keys to use for backward focus traversal when the JComponent is
       * managing focus.
       */
!     private static Set managingFocusBackwardTraversalKeys;
  
      private boolean contentOpaque = true;
  
      protected void installDefaults() {
          super.installDefaults();
          contentOpaque = UIManager.getBoolean("TabbedPane.contentOpaque");
  
          // focus forward traversal key
          if (managingFocusForwardTraversalKeys==null) {
!             managingFocusForwardTraversalKeys = new HashSet();
              managingFocusForwardTraversalKeys.add(KeyStroke.getKeyStroke(KeyEvent.VK_TAB, 0));
          }
          tabPane.setFocusTraversalKeys(KeyboardFocusManager.FORWARD_TRAVERSAL_KEYS, managingFocusForwardTraversalKeys);
          // focus backward traversal key
          if (managingFocusBackwardTraversalKeys==null) {
!             managingFocusBackwardTraversalKeys = new HashSet();
              managingFocusBackwardTraversalKeys.add( KeyStroke.getKeyStroke(KeyEvent.VK_TAB, InputEvent.SHIFT_MASK));
          }
          tabPane.setFocusTraversalKeys(KeyboardFocusManager.BACKWARD_TRAVERSAL_KEYS, managingFocusBackwardTraversalKeys);
      }
  
--- 51,83 ----
  public class WindowsTabbedPaneUI extends BasicTabbedPaneUI {
      /**
       * Keys to use for forward focus traversal when the JComponent is
       * managing focus.
       */
!     private static Set<KeyStroke> managingFocusForwardTraversalKeys;
  
      /**
       * Keys to use for backward focus traversal when the JComponent is
       * managing focus.
       */
!     private static Set<KeyStroke> managingFocusBackwardTraversalKeys;
  
      private boolean contentOpaque = true;
  
      protected void installDefaults() {
          super.installDefaults();
          contentOpaque = UIManager.getBoolean("TabbedPane.contentOpaque");
  
          // focus forward traversal key
          if (managingFocusForwardTraversalKeys==null) {
!             managingFocusForwardTraversalKeys = new HashSet<KeyStroke>();
              managingFocusForwardTraversalKeys.add(KeyStroke.getKeyStroke(KeyEvent.VK_TAB, 0));
          }
          tabPane.setFocusTraversalKeys(KeyboardFocusManager.FORWARD_TRAVERSAL_KEYS, managingFocusForwardTraversalKeys);
          // focus backward traversal key
          if (managingFocusBackwardTraversalKeys==null) {
!             managingFocusBackwardTraversalKeys = new HashSet<KeyStroke>();
              managingFocusBackwardTraversalKeys.add( KeyStroke.getKeyStroke(KeyEvent.VK_TAB, InputEvent.SHIFT_MASK));
          }
          tabPane.setFocusTraversalKeys(KeyboardFocusManager.BACKWARD_TRAVERSAL_KEYS, managingFocusBackwardTraversalKeys);
      }