Ticket #4517: diff.patch

src/org/openstreetmap/josm/data/UndoRedoHandler.java

@@ -54 +54 @@
     /**
      * Execute the command and add it to the intern command queue.
      */
-    public void add(final Command c) {
+    synchronized public void add(final Command c) {
         addNoRedraw(c);
         afterAdd();
     }
@@ -62 +62 @@
     /**
      * Undoes the last added command.
      */
-    public void undo() {
+    synchronized public void undo() {
         if (commands.isEmpty())
             return;
         Collection<? extends OsmPrimitive> oldSelection = Main.main.getCurrentDataSet().getSelected();