Index: bridge/org/GNOME/Accessibility/JavaBridge.java
===================================================================
--- bridge/org/GNOME/Accessibility/JavaBridge.java	(revision 214)
+++ bridge/org/GNOME/Accessibility/JavaBridge.java	(working copy)
@@ -1154,6 +1154,8 @@
 				isConsumed = JavaBridge.dispatchDeviceEvent (de);
 				if ( isConsumed ) pendingKeyPress = null;
 			} else if (e.getID () == KeyEvent.KEY_RELEASED) {
+				if (pendingKeyPress != null) 
+					super.dispatchEvent (pendingKeyPress);
 				de = KeyEventAdapter.deviceEventFromKeyEvent (e);
 				isConsumed = JavaBridge.dispatchDeviceEvent (de);
 				pendingKeyPress = null;
