Index: trunk/src/org/openstreetmap/josm/Main.java
===================================================================
--- trunk/src/org/openstreetmap/josm/Main.java	(revision 12695)
+++ trunk/src/org/openstreetmap/josm/Main.java	(revision 12696)
@@ -136,7 +136,5 @@
     /**
      * The commands undo/redo handler.
-     * @deprecated Use {@link MainApplication#undoRedo} instead
-     */
-    @Deprecated
+     */
     public final UndoRedoHandler undoRedo = MainApplication.undoRedo;