diff --git a/de.prob.ui/plugin.xml b/de.prob.ui/plugin.xml
index 0db4935de8ad57a3d85d66922f89da27846effdd..d1b07bd82110aa5b4467bc12b6c9d1cb75165606 100644
--- a/de.prob.ui/plugin.xml
+++ b/de.prob.ui/plugin.xml
@@ -563,23 +563,6 @@
       </with>
             </enabledWhen>
       </handler>
-      <handler
-            commandId="de.prob.ui.classic.export">
-         <class
-               class="de.prob.ui.eventb.ExportClassicHandler">
-         </class>
-                              <enabledWhen>
-      <with
-            variable="selection">
-         <iterate
-               operator="or">
-            <instanceof
-                  value="org.eventb.core.IEventBRoot">
-            </instanceof>
-         </iterate>
-      </with>
-            </enabledWhen>
-      </handler>
       <handler
             commandId="de.prob.ui.classic.open">
          <class
@@ -995,7 +978,7 @@
                </with>
             </visibleWhen>
             <command
-                  commandId="de.prob.ui.classic.export"
+                  commandId="de.prob.ui.newcore.export"
                   icon="icons/prob_mini_logo.gif"
                   label="Export for use in ProB classic"
                   style="push">
@@ -1006,12 +989,6 @@
                   label="Open in ProB classic"
                   style="push">
             </command>
-            <command
-                  commandId="de.prob.ui.newcore.export"
-                  icon="icons/prob_mini_logo.gif"
-                  label="Export for new core (experimental)"
-                  style="push">
-            </command>
          </menu>
          <separator
                name="de.prob.ui.separator1"
diff --git a/de.prob.ui/src/de/prob/ui/eventb/ExportClassicHandler.java b/de.prob.ui/src/de/prob/ui/eventb/ExportClassicHandler.java
index a789cc14e295f6e5752a55320e200516e2c30c65..858938c0de120fc8d1caaeff0f7eb91be3dc421b 100644
--- a/de.prob.ui/src/de/prob/ui/eventb/ExportClassicHandler.java
+++ b/de.prob.ui/src/de/prob/ui/eventb/ExportClassicHandler.java
@@ -28,6 +28,11 @@ import de.prob.core.translator.TranslationFailedException;
 import de.prob.eventb.translator.TranslatorFactory;
 import de.prob.logging.Logger;
 
+/**
+ * @author bendisposto
+ * @deprecated Use ExpprtNewCoreHandler instead
+ */
+@Deprecated
 public class ExportClassicHandler extends AbstractHandler implements IHandler {
 
 	public Object execute(final ExecutionEvent event) throws ExecutionException {
diff --git a/de.prob.ui/src/de/prob/ui/eventb/ExportNewCoreHandler.java b/de.prob.ui/src/de/prob/ui/eventb/ExportNewCoreHandler.java
index 1c4d6be3cf7ad5b00e3305b3ddee3b10a61ea8d6..79af767fe8c25b3e2ebca407f41d4d0d67f11c77 100644
--- a/de.prob.ui/src/de/prob/ui/eventb/ExportNewCoreHandler.java
+++ b/de.prob.ui/src/de/prob/ui/eventb/ExportNewCoreHandler.java
@@ -1,6 +1,5 @@
 package de.prob.ui.eventb;
 
-import java.io.ByteArrayInputStream;
 import java.io.File;
 import java.io.FileWriter;
 import java.io.IOException;
@@ -18,7 +17,6 @@ import org.eclipse.core.commands.ExecutionException;
 import org.eclipse.core.commands.IHandler;
 import org.eclipse.core.runtime.Platform;
 import org.eclipse.core.runtime.preferences.InstanceScope;
-import org.eclipse.emf.common.util.EList;
 import org.eclipse.emf.ecore.xmi.XMLResource;
 import org.eclipse.emf.ecore.xmi.impl.XMLResourceImpl;
 import org.eclipse.jface.dialogs.MessageDialog;
@@ -30,7 +28,6 @@ import org.eclipse.swt.widgets.Shell;
 import org.eclipse.ui.handlers.HandlerUtil;
 import org.eventb.core.IEventBRoot;
 import org.eventb.core.IMachineRoot;
-import org.eventb.emf.core.EventBNamedCommentedComponentElement;
 import org.eventb.emf.core.Project;
 import org.eventb.emf.persistence.ProjectResource;
 import org.osgi.service.prefs.BackingStoreException;
diff --git a/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java b/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java
index c53488f10b328de79cffebc948172c8e3470a743..47cd0d4d47b989635fc5520e5c2cb9d73a3ff5b5 100644
--- a/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java
+++ b/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java
@@ -35,8 +35,7 @@ public class OpenClassicHandler extends AbstractHandler implements IHandler {
 			if (root != null) {
 				final File temp = createTempFile();
 				final String tmp = temp.getAbsolutePath();
-				ExportClassicHandler.exportToClassic(tmp, root);
-
+				ExportNewCoreHandler.exportToClassic(tmp, root);
 				runProBClassic(location, tmp);
 			}
 		}