--- old/src/share/classes/java/awt/KeyboardFocusManager.java	2012-08-28 18:04:27.841207100 +0400
+++ new/src/share/classes/java/awt/KeyboardFocusManager.java	2012-08-28 18:04:26.822148800 +0400
@@ -2491,7 +2491,7 @@
                         HeavyweightFocusRequest.CLEAR_GLOBAL_FOCUS_OWNER)
                     {
                         int size = heavyweightRequests.size();
-                        hwFocusRequest = (HeavyweightFocusRequest)((size >= 2)
+                        hwFocusRequest = (size >= 2
                             ? heavyweightRequests.get(size - 2)
                             : null);
                     }