--- old/modules/controls/src/main/java/com/sun/javafx/scene/control/skin/TabPaneSkin.java	2014-01-28 15:50:00.823628809 +0100
+++ new/modules/controls/src/main/java/com/sun/javafx/scene/control/skin/TabPaneSkin.java	2014-01-28 15:50:00.671628804 +0100
@@ -1434,9 +1434,9 @@
             });
 
             engine = new TraversalEngine(this, false) {
-                @Override public void trav(Node owner, Direction dir) {
+                @Override public boolean trav(Node owner, Direction dir) {
                     direction = dir;
-                    super.trav(owner, dir);
+                    return super.trav(owner, dir);
                 }
             };
             engine.addTraverseListener(this);