Index: trunk/src/org/openstreetmap/josm/gui/MapMover.java
===================================================================
--- trunk/src/org/openstreetmap/josm/gui/MapMover.java	(revision 390)
+++ trunk/src/org/openstreetmap/josm/gui/MapMover.java	(revision 391)
@@ -93,5 +93,5 @@
 	 * If the right (and only the right) mouse button is pressed, move the map
 	 */
-	@Override public void mouseDragged(MouseEvent e) {
+	public void mouseDragged(MouseEvent e) {
 		int offMask = MouseEvent.BUTTON1_DOWN_MASK | MouseEvent.BUTTON2_DOWN_MASK;
 		if ((e.getModifiersEx() & (MouseEvent.BUTTON3_DOWN_MASK | offMask)) == MouseEvent.BUTTON3_DOWN_MASK) {
@@ -158,5 +158,5 @@
 	 * @param e The wheel event.
 	 */
-	@Override public void mouseWheelMoved(MouseWheelEvent e) {
+	public void mouseWheelMoved(MouseWheelEvent e) {
 		int w = nc.getWidth();
 		int h = nc.getHeight();
@@ -177,4 +177,4 @@
 	 * Does nothing. Only to satisfy MouseMotionListener
 	 */
-	@Override public void mouseMoved(MouseEvent e) {}
+	public void mouseMoved(MouseEvent e) {}
 }