Index: /trunk/include/VBox/settings.h
===================================================================
--- /trunk/include/VBox/settings.h	(revision 33660)
+++ /trunk/include/VBox/settings.h	(revision 33661)
@@ -955,5 +955,6 @@
         BuildMachineXML_WriteVboxVersionAttribute = 0x02,
         BuildMachineXML_SkipRemovableMedia = 0x04,
-        BuildMachineXML_MediaRegistry = 0x08
+        BuildMachineXML_MediaRegistry = 0x08,
+        BuildMachineXML_SuppressSavedState = 0x10
     };
     void buildMachineXML(xml::ElementNode &elmMachine,
Index: /trunk/src/VBox/Main/ApplianceImplExport.cpp
===================================================================
--- /trunk/src/VBox/Main/ApplianceImplExport.cpp	(revision 33660)
+++ /trunk/src/VBox/Main/ApplianceImplExport.cpp	(revision 33661)
@@ -1548,5 +1548,6 @@
         pConfig->buildMachineXML(*pelmVBoxMachine,
                                    settings::MachineConfigFile::BuildMachineXML_WriteVboxVersionAttribute
-                                 | settings::MachineConfigFile::BuildMachineXML_SkipRemovableMedia,
+                                 | settings::MachineConfigFile::BuildMachineXML_SkipRemovableMedia
+                                 | settings::MachineConfigFile::BuildMachineXML_SuppressSavedState,
                                         // but not BuildMachineXML_IncludeSnapshots nor BuildMachineXML_MediaRegistry
                                  pllElementsWithUuidAttributes);
Index: /trunk/src/VBox/Main/xml/Settings.cpp
===================================================================
--- /trunk/src/VBox/Main/xml/Settings.cpp	(revision 33660)
+++ /trunk/src/VBox/Main/xml/Settings.cpp	(revision 33661)
@@ -4143,4 +4143,8 @@
  *      when this gets called for OVF export.
  *
+ * --   BuildMachineXML_SuppressSavedState: If set, the Machine/@stateFile
+ *      attribute is never set. This is also for the OVF export case because we
+ *      cannot save states with OVF.
+ *
  * @param elmMachine XML <Machine> element to add attributes and elements to.
  * @param fl Flags.
@@ -4163,5 +4167,7 @@
         elmMachine.createChild("Description")->addContent(machineUserData.strDescription);
     elmMachine.setAttribute("OSType", machineUserData.strOsType);
-    if (strStateFile.length())
+    if (    strStateFile.length()
+         && !(fl & BuildMachineXML_SuppressSavedState)
+       )
         elmMachine.setAttribute("stateFile", strStateFile);
     if (    (fl & BuildMachineXML_IncludeSnapshots)
