jdk/src/share/classes/java/awt/TextArea.java

@@ -121,11 +121,11 @@
 
     /**
      * Cache the Sets of forward and backward traversal keys so we need not
      * look them up each time.
      */
-    private static Set forwardTraversalKeys, backwardTraversalKeys;
+    private static Set<AWTKeyStroke> forwardTraversalKeys, backwardTraversalKeys;
 
     /*
      * JDK 1.1 serialVersionUID
      */
      private static final long serialVersionUID = 3692302836626095722L;

@@ -141,14 +141,14 @@
         if (!GraphicsEnvironment.isHeadless()) {
             initIDs();
         }
         forwardTraversalKeys = KeyboardFocusManager.initFocusTraversalKeysSet(
             "ctrl TAB",
-            new HashSet());
+            new HashSet<AWTKeyStroke>());
         backwardTraversalKeys = KeyboardFocusManager.initFocusTraversalKeysSet(
             "ctrl shift TAB",
-            new HashSet());
+            new HashSet<AWTKeyStroke>());
     }
 
     /**
      * Constructs a new text area with the empty string as text.
      * This text area is created with scrollbar visibility equal to