Index: trunk/src/org/openstreetmap/josm/gui/util/AdvancedKeyPressDetector.java
===================================================================
--- trunk/src/org/openstreetmap/josm/gui/util/AdvancedKeyPressDetector.java	(revision 7532)
+++ trunk/src/org/openstreetmap/josm/gui/util/AdvancedKeyPressDetector.java	(revision 7533)
@@ -85,5 +85,5 @@
                 timer.stop();
                 if (set.remove(releaseEvent.getKeyCode())) {
-                    synchronized (this) {
+                    synchronized (AdvancedKeyPressDetector.this) {
                         for (KeyPressReleaseListener q: keyListeners) {
                             q.doKeyReleased(releaseEvent);