Index: /trunk/src/org/openstreetmap/josm/actions/OpenFileAction.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/actions/OpenFileAction.java	(revision 17555)
+++ /trunk/src/org/openstreetmap/josm/actions/OpenFileAction.java	(revision 17556)
@@ -201,7 +201,7 @@
          * @param options The options to set
          * @see Options
-         * @since 17534
-         */
-        public void setOptions(Options[] options) {
+         * @since 17556
+         */
+        public void setOptions(Options... options) {
             this.options.clear();
             if (options != null) {
Index: /trunk/src/org/openstreetmap/josm/gui/MainApplication.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/gui/MainApplication.java	(revision 17555)
+++ /trunk/src/org/openstreetmap/josm/gui/MainApplication.java	(revision 17556)
@@ -106,4 +106,5 @@
 import org.openstreetmap.josm.gui.io.CustomConfigurator.XMLCommandProcessor;
 import org.openstreetmap.josm.gui.io.SaveLayersDialog;
+import org.openstreetmap.josm.gui.io.importexport.Options;
 import org.openstreetmap.josm.gui.layer.AutosaveTask;
 import org.openstreetmap.josm.gui.layer.Layer;
@@ -1276,5 +1277,5 @@
         }
         if (!fileList.isEmpty()) {
-            tasks.add(OpenFileAction.openFiles(fileList, true));
+            tasks.add(OpenFileAction.openFiles(fileList, Options.RECORD_HISTORY));
         }
         for (String s : args.get(Option.DOWNLOADGPS)) {
Index: /trunk/src/org/openstreetmap/josm/gui/datatransfer/importers/FilePaster.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/gui/datatransfer/importers/FilePaster.java	(revision 17555)
+++ /trunk/src/org/openstreetmap/josm/gui/datatransfer/importers/FilePaster.java	(revision 17556)
@@ -13,4 +13,5 @@
 import org.openstreetmap.josm.data.coor.EastNorth;
 import org.openstreetmap.josm.gui.MainApplication;
+import org.openstreetmap.josm.gui.io.importexport.Options;
 import org.openstreetmap.josm.gui.layer.OsmDataLayer;
 
@@ -34,5 +35,5 @@
         List<File> files = (List<File>) support.getTransferable().getTransferData(df);
         OpenFileAction.OpenFileTask task = new OpenFileAction.OpenFileTask(files, null);
-        task.setRecordHistory(true);
+        task.setOptions(Options.RECORD_HISTORY);
         MainApplication.worker.submit(task);
         return true;
Index: /trunk/src/org/openstreetmap/josm/gui/io/RecentlyOpenedFilesMenu.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/gui/io/RecentlyOpenedFilesMenu.java	(revision 17555)
+++ /trunk/src/org/openstreetmap/josm/gui/io/RecentlyOpenedFilesMenu.java	(revision 17556)
@@ -19,4 +19,5 @@
 import org.openstreetmap.josm.actions.OpenFileAction.OpenFileTask;
 import org.openstreetmap.josm.gui.MainApplication;
+import org.openstreetmap.josm.gui.io.importexport.Options;
 import org.openstreetmap.josm.spi.preferences.Config;
 import org.openstreetmap.josm.tools.ImageProvider;
@@ -85,5 +86,5 @@
         public void actionPerformed(ActionEvent e) {
             OpenFileTask task = new OpenFileTask(Collections.singletonList(new File(file)), null);
-            task.setRecordHistory(true);
+            task.setOptions(Options.RECORD_HISTORY);
             MainApplication.worker.submit(task);
         }