Index: /trunk/src/org/openstreetmap/josm/gui/MapStatus.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/gui/MapStatus.java	(revision 431)
+++ /trunk/src/org/openstreetmap/josm/gui/MapStatus.java	(revision 432)
@@ -299,5 +299,5 @@
 
 			mapFrame.mapView.addKeyListener(new KeyAdapter() {
-				public void keyPressed(KeyEvent e) {
+				@Override public void keyPressed(KeyEvent e) {
 					synchronized (collector) {
 						mouseState.modifiers = e.getModifiersEx();
@@ -306,5 +306,5 @@
 				}
 
-				public void keyReleased(KeyEvent e) {
+				@Override public void keyReleased(KeyEvent e) {
 					keyReleased(e);
 				}