]> gerrit.simantics Code Review - simantics/platform.git/blobdiff - bundles/org.simantics.workbench/src/org/simantics/workbench/internal/SimanticsWorkbenchApplication.java
Migrated source code from Simantics SVN
[simantics/platform.git] / bundles / org.simantics.workbench / src / org / simantics / workbench / internal / SimanticsWorkbenchApplication.java
diff --git a/bundles/org.simantics.workbench/src/org/simantics/workbench/internal/SimanticsWorkbenchApplication.java b/bundles/org.simantics.workbench/src/org/simantics/workbench/internal/SimanticsWorkbenchApplication.java
new file mode 100644 (file)
index 0000000..cc0cc02
--- /dev/null
@@ -0,0 +1,627 @@
+/*******************************************************************************\r
+ * Copyright (c) 2007, 2010 Association for Decentralized Information Management\r
+ * in Industry THTH ry.\r
+ * All rights reserved. This program and the accompanying materials\r
+ * are made available under the terms of the Eclipse Public License v1.0\r
+ * which accompanies this distribution, and is available at\r
+ * http://www.eclipse.org/legal/epl-v10.html\r
+ *\r
+ * Contributors:\r
+ *     VTT Technical Research Centre of Finland - initial API and implementation\r
+ *******************************************************************************/\r
+package org.simantics.workbench.internal;\r
+\r
+import java.io.File;\r
+import java.io.FileInputStream;\r
+import java.io.FileOutputStream;\r
+import java.io.IOException;\r
+import java.io.OutputStream;\r
+import java.net.MalformedURLException;\r
+import java.net.URL;\r
+import java.util.Map;\r
+import java.util.Properties;\r
+\r
+import org.eclipse.core.runtime.IConfigurationElement;\r
+import org.eclipse.core.runtime.IExecutableExtension;\r
+import org.eclipse.core.runtime.IStatus;\r
+import org.eclipse.core.runtime.Platform;\r
+import org.eclipse.core.runtime.Status;\r
+import org.eclipse.equinox.app.IApplication;\r
+import org.eclipse.equinox.app.IApplicationContext;\r
+import org.eclipse.jface.dialogs.Dialog;\r
+import org.eclipse.jface.dialogs.MessageDialog;\r
+import org.eclipse.osgi.service.datalocation.Location;\r
+import org.eclipse.osgi.util.NLS;\r
+import org.eclipse.swt.SWT;\r
+import org.eclipse.swt.widgets.Display;\r
+import org.eclipse.swt.widgets.MessageBox;\r
+import org.eclipse.swt.widgets.Shell;\r
+import org.eclipse.ui.IWorkbench;\r
+import org.eclipse.ui.PlatformUI;\r
+import org.eclipse.ui.application.WorkbenchAdvisor;\r
+import org.eclipse.ui.internal.WorkbenchPlugin;\r
+import org.eclipse.ui.internal.ide.ChooseWorkspaceData;\r
+import org.eclipse.ui.internal.ide.ChooseWorkspaceDialog;\r
+import org.eclipse.ui.internal.ide.IDEWorkbenchMessages;\r
+import org.eclipse.ui.internal.ide.IDEWorkbenchPlugin;\r
+import org.eclipse.ui.internal.ide.StatusUtil;\r
+import org.simantics.application.arguments.ApplicationUtils;\r
+import org.simantics.application.arguments.Arguments;\r
+import org.simantics.application.arguments.IArgumentFactory;\r
+import org.simantics.application.arguments.IArguments;\r
+import org.simantics.application.arguments.SimanticsArguments;\r
+import org.simantics.db.management.ISessionContextProvider;\r
+import org.simantics.db.management.ISessionContextProviderSource;\r
+import org.simantics.db.management.SessionContextProvider;\r
+import org.simantics.db.management.SingleSessionContextProviderSource;\r
+import org.simantics.ui.SimanticsUI;\r
+import org.simantics.ui.WorkbenchWindowSessionContextProviderSource;\r
+import org.simantics.utils.ui.BundleUtils;\r
+\r
+\r
+/**\r
+ * The "main program" for the Eclipse IDE.\r
+ * \r
+ * @since 3.0\r
+ */\r
+public class SimanticsWorkbenchApplication implements IApplication, IExecutableExtension {\r
+\r
+    /**\r
+     * The name of the folder containing metadata information for the workspace.\r
+     */\r
+    public static final String METADATA_FOLDER = ".metadata"; //$NON-NLS-1$\r
+\r
+    private static final String VERSION_FILENAME = "version.ini"; //$NON-NLS-1$\r
+\r
+    private static final String WORKSPACE_VERSION_KEY = "org.eclipse.core.runtime"; //$NON-NLS-1$\r
+\r
+    private static final String WORKSPACE_VERSION_VALUE = "1"; //$NON-NLS-1$\r
+\r
+    private static final String PROP_EXIT_CODE = "eclipse.exitcode"; //$NON-NLS-1$\r
+\r
+    /**\r
+     * A special return code that will be recognized by the launcher and used to\r
+     * restart the workbench.\r
+     */\r
+    private static final Integer EXIT_RELAUNCH = new Integer(24);\r
+\r
+    /**\r
+     * A special return code that will be recognized by the PDE launcher and used to\r
+     * show an error dialog if the workspace is locked.\r
+     */\r
+    private static final Integer EXIT_WORKSPACE_LOCKED = new Integer(15);\r
+\r
+    /**\r
+     * Creates a new IDE application.\r
+     */\r
+    public SimanticsWorkbenchApplication() {\r
+        // There is nothing to do for WorkbenchApplication\r
+    }\r
+\r
+    public WorkbenchAdvisor createWorkbenchAdvisor(IArguments args, DelayedEventsProcessor processor) {\r
+        return new SimanticsWorkbenchAdvisor(args, processor);\r
+    }\r
+\r
+    /* (non-Javadoc)\r
+     * @see org.eclipse.equinox.app.IApplication#start(org.eclipse.equinox.app.IApplicationContext context)\r
+     */\r
+    @Override\r
+    public Object start(IApplicationContext appContext) throws Exception {\r
+        ApplicationUtils.loadSystemProperties(BundleUtils.find(Activator.PLUGIN_ID, "system.properties"));\r
+        IArguments args = parseArguments((String[]) appContext.getArguments().get(IApplicationContext.APPLICATION_ARGS));\r
+\r
+        Display display = createDisplay();\r
+        // processor must be created before we start event loop\r
+        DelayedEventsProcessor processor = new DelayedEventsProcessor(display);\r
+\r
+        try {\r
+            Object argCheck = verifyArguments(args);\r
+            if (argCheck != null)\r
+                return argCheck;\r
+\r
+            // look and see if there's a splash shell we can parent off of\r
+            Shell shell = WorkbenchPlugin.getSplashShell(display);\r
+            if (shell != null) {\r
+                // should should set the icon and message for this shell to be the \r
+                // same as the chooser dialog - this will be the guy that lives in\r
+                // the task bar and without these calls you'd have the default icon \r
+                // with no message.\r
+                shell.setText(ChooseWorkspaceDialog.getWindowTitle());\r
+                shell.setImages(Dialog.getDefaultImages());\r
+            }\r
+\r
+            Object instanceLocationCheck = checkInstanceLocation(shell, appContext.getArguments(), args);\r
+            if (instanceLocationCheck != null) {\r
+                WorkbenchPlugin.unsetSplashShell(display);\r
+                Platform.endSplash();\r
+                return instanceLocationCheck;\r
+            }\r
+\r
+            final ISessionContextProvider provider = new SessionContextProvider(null);\r
+            final ISessionContextProviderSource contextProviderSource = new SingleSessionContextProviderSource(provider);\r
+            //final ISessionContextProviderSource contextProviderSource = new WorkbenchWindowSessionContextProviderSource(PlatformUI.getWorkbench());\r
+            SimanticsUI.setSessionContextProviderSource(contextProviderSource);\r
+            org.simantics.db.layer0.internal.SimanticsInternal.setSessionContextProviderSource(contextProviderSource);\r
+            org.simantics.Simantics.setSessionContextProviderSource(contextProviderSource);\r
+            \r
+            // create the workbench with this advisor and run it until it exits\r
+            // N.B. createWorkbench remembers the advisor, and also registers\r
+            // the workbench globally so that all UI plug-ins can find it using\r
+            // PlatformUI.getWorkbench() or AbstractUIPlugin.getWorkbench()\r
+            int returnCode = PlatformUI.createAndRunWorkbench(display,\r
+                    createWorkbenchAdvisor(args, processor));\r
+\r
+            // the workbench doesn't support relaunch yet (bug 61809) so\r
+            // for now restart is used, and exit data properties are checked\r
+            // here to substitute in the relaunch return code if needed\r
+            if (returnCode != PlatformUI.RETURN_RESTART) {\r
+                return EXIT_OK;\r
+            }\r
+\r
+            // if the exit code property has been set to the relaunch code, then\r
+            // return that code now, otherwise this is a normal restart\r
+            return EXIT_RELAUNCH.equals(Integer.getInteger(PROP_EXIT_CODE)) ? EXIT_RELAUNCH\r
+                    : EXIT_RESTART;\r
+        } finally {\r
+            if (display != null) {\r
+                display.dispose();\r
+            }\r
+            Location instanceLoc = Platform.getInstanceLocation();\r
+            if (instanceLoc != null)\r
+                instanceLoc.release();\r
+        }\r
+    }\r
+\r
+    /*************************************************************************/\r
+\r
+    private IArguments parseArguments(String[] args) {\r
+        IArgumentFactory<?>[] accepted = {\r
+                SimanticsArguments.RECOVERY_POLICY_FIX_ERRORS,\r
+                SimanticsArguments.ONTOLOGY_RECOVERY_POLICY_REINSTALL,\r
+                SimanticsArguments.DEFAULT_WORKSPACE_LOCATION,\r
+                SimanticsArguments.WORKSPACE_CHOOSER,\r
+                SimanticsArguments.WORKSPACE_NO_REMEMBER,\r
+                SimanticsArguments.PERSPECTIVE,\r
+                SimanticsArguments.SERVER,\r
+                SimanticsArguments.NEW_MODEL,\r
+                SimanticsArguments.EXPERIMENT,\r
+                SimanticsArguments.DISABLE_INDEX,\r
+                SimanticsArguments.DATABASE_ID,\r
+        };\r
+        IArguments result = Arguments.parse(args, accepted);\r
+        return result;\r
+    }\r
+\r
+    private Object verifyArguments(IArguments args) {\r
+        StringBuilder report = new StringBuilder();\r
+\r
+//        if (args.contains(SimanticsArguments.NEW_PROJECT)) {\r
+//            if (args.contains(SimanticsArguments.PROJECT)) {\r
+//                exclusiveArguments(report, SimanticsArguments.PROJECT, SimanticsArguments.NEW_PROJECT);\r
+//            }\r
+//            // Must have a server to checkout from when creating a new\r
+//            // project right from the beginning.\r
+//            if (!args.contains(SimanticsArguments.SERVER)) {\r
+//                missingArgument(report, SimanticsArguments.SERVER);\r
+//            }\r
+//        } else if (args.contains(SimanticsArguments.PROJECT)) {\r
+//            // To load a project, a server must be defined to checkout from\r
+//            if (!args.contains(SimanticsArguments.SERVER)) {\r
+//                missingArgument(report, SimanticsArguments.SERVER);\r
+//            }\r
+//        }\r
+\r
+        // NEW_MODEL and MODEL arguments are optional\r
+        // EXPERIMENT argument is optional\r
+\r
+        String result = report.toString();\r
+        boolean valid = result.length() == 0;\r
+\r
+        if (!valid) {\r
+            String msg = NLS.bind(Messages.Application_1, result);\r
+            MessageDialog.openInformation(null, Messages.Application_2, msg);\r
+        }\r
+        return valid ? null : EXIT_OK;\r
+    }\r
+\r
+//    private void exclusiveArguments(StringBuilder sb, IArgumentFactory<?> arg1, IArgumentFactory<?> arg2) {\r
+//        sb.append(NLS.bind(Messages.Application_3, arg1.getArgument(), arg2.getArgument()));\r
+//        sb.append('\n');\r
+//    }\r
+//\r
+//    private void missingArgument(StringBuilder sb, IArgumentFactory<?> arg) {\r
+//        sb.append(NLS.bind(Messages.Application_0, arg.getArgument()));\r
+//        sb.append('\n');\r
+//    }\r
+\r
+    /*************************************************************************/\r
+\r
+    /**\r
+     * Creates the display used by the application.\r
+     * \r
+     * @return the display used by the application\r
+     */\r
+    protected Display createDisplay() {\r
+        return PlatformUI.createDisplay();\r
+    }\r
+\r
+    /* (non-Javadoc)\r
+     * @see org.eclipse.core.runtime.IExecutableExtension#setInitializationData(org.eclipse.core.runtime.IConfigurationElement, java.lang.String, java.lang.Object)\r
+     */\r
+    @Override\r
+    public void setInitializationData(IConfigurationElement config,\r
+            String propertyName, Object data) {\r
+        // There is nothing to do for ProConfApplication\r
+    }\r
+\r
+    /**\r
+     * Return true if a valid workspace path has been set and false otherwise.\r
+     * Prompt for and set the path if possible and required.\r
+     * @param applicationArguments \r
+     * \r
+     * @return true if a valid instance location has been set and false\r
+     *         otherwise\r
+     */\r
+    private Object checkInstanceLocation(Shell shell, Map<?,?> applicationArguments, IArguments args) {\r
+        // -data @none was specified but an ide requires workspace\r
+        Location instanceLoc = Platform.getInstanceLocation();\r
+        if (instanceLoc == null) {\r
+            MessageDialog\r
+            .openError(\r
+                    shell,\r
+                    IDEWorkbenchMessages.IDEApplication_workspaceMandatoryTitle,\r
+                    IDEWorkbenchMessages.IDEApplication_workspaceMandatoryMessage);\r
+            return EXIT_OK;\r
+        }\r
+\r
+        // -data "/valid/path", workspace already set\r
+        // This information is stored in configuration/.settings/org.eclipse.ui.ide.prefs\r
+        if (instanceLoc.isSet()) {\r
+            // make sure the meta data version is compatible (or the user has\r
+            // chosen to overwrite it).\r
+            if (!checkValidWorkspace(shell, instanceLoc.getURL())) {\r
+                return EXIT_OK;\r
+            }\r
+\r
+            // at this point its valid, so try to lock it and update the\r
+            // metadata version information if successful\r
+            try {\r
+                if (instanceLoc.lock()) {\r
+                    writeWorkspaceVersion();\r
+                    return null;\r
+                }\r
+\r
+                // we failed to create the directory.\r
+                // Two possibilities:\r
+                // 1. directory is already in use\r
+                // 2. directory could not be created\r
+                File workspaceDirectory = new File(instanceLoc.getURL().getFile());\r
+                if (workspaceDirectory.exists()) {\r
+                    if (isDevLaunchMode(applicationArguments)) {\r
+                        return EXIT_WORKSPACE_LOCKED;\r
+                    }\r
+                    MessageDialog.openError(\r
+                            shell,\r
+                            IDEWorkbenchMessages.IDEApplication_workspaceCannotLockTitle,\r
+                            IDEWorkbenchMessages.IDEApplication_workspaceCannotLockMessage);\r
+                } else {\r
+                    MessageDialog.openError(\r
+                            shell,\r
+                            IDEWorkbenchMessages.IDEApplication_workspaceCannotBeSetTitle,\r
+                            IDEWorkbenchMessages.IDEApplication_workspaceCannotBeSetMessage);\r
+                }\r
+            } catch (IOException e) {\r
+                IDEWorkbenchPlugin.log("Could not obtain lock for workspace location", //$NON-NLS-1$\r
+                        e);\r
+                MessageDialog\r
+                .openError(\r
+                        shell,\r
+                        IDEWorkbenchMessages.InternalError,\r
+                        e.getMessage());\r
+            }\r
+            return EXIT_OK;\r
+        }\r
+\r
+        // -data @noDefault or -data not specified, prompt and set\r
+        ChooseWorkspaceData launchData = null;\r
+        if (args.contains(SimanticsArguments.DEFAULT_WORKSPACE_LOCATION)) {\r
+            launchData = new ChooseWorkspaceData(args.get(SimanticsArguments.DEFAULT_WORKSPACE_LOCATION));\r
+        } else {\r
+            launchData = new ChooseWorkspaceData(instanceLoc.getDefault());\r
+        }\r
+\r
+        boolean force = args.contains(SimanticsArguments.WORKSPACE_CHOOSER);\r
+        boolean suppressAskAgain = args.contains(SimanticsArguments.WORKSPACE_NO_REMEMBER);\r
+\r
+        while (true) {\r
+            URL workspaceUrl = promptForWorkspace(shell, launchData, force, suppressAskAgain);\r
+            if (workspaceUrl == null) {\r
+                return EXIT_OK;\r
+            }\r
+\r
+            // if there is an error with the first selection, then force the\r
+            // dialog to open to give the user a chance to correct\r
+            force = true;\r
+\r
+            try {\r
+                // the operation will fail if the url is not a valid\r
+                // instance data area, so other checking is unneeded\r
+                if (instanceLoc.setURL(workspaceUrl, true)) {\r
+                    launchData.writePersistedData();\r
+                    writeWorkspaceVersion();\r
+                    return null;\r
+                }\r
+            } catch (IllegalStateException e) {\r
+                MessageDialog\r
+                .openError(\r
+                        shell,\r
+                        IDEWorkbenchMessages.IDEApplication_workspaceCannotBeSetTitle,\r
+                        IDEWorkbenchMessages.IDEApplication_workspaceCannotBeSetMessage);\r
+                return EXIT_OK;\r
+            }\r
+\r
+            // by this point it has been determined that the workspace is\r
+            // already in use -- force the user to choose again\r
+            MessageDialog.openError(shell, IDEWorkbenchMessages.IDEApplication_workspaceInUseTitle,\r
+                    IDEWorkbenchMessages.IDEApplication_workspaceInUseMessage);\r
+        }\r
+    }\r
+\r
+    private static boolean isDevLaunchMode(Map<?,?> args) {\r
+        // see org.eclipse.pde.internal.core.PluginPathFinder.isDevLaunchMode()\r
+        if (Boolean.getBoolean("eclipse.pde.launch")) //$NON-NLS-1$\r
+            return true;\r
+        return args.containsKey("-pdelaunch"); //$NON-NLS-1$\r
+    }\r
+\r
+    /**\r
+     * Open a workspace selection dialog on the argument shell, populating the\r
+     * argument data with the user's selection. Perform first level validation\r
+     * on the selection by comparing the version information. This method does\r
+     * not examine the runtime state (e.g., is the workspace already locked?).\r
+     * \r
+     * @param shell\r
+     * @param launchData\r
+     * @param force\r
+     *            setting to true makes the dialog open regardless of the\r
+     *            showDialog value\r
+     * @return An URL storing the selected workspace or null if the user has\r
+     *         canceled the launch operation.\r
+     */\r
+    private URL promptForWorkspace(Shell shell, ChooseWorkspaceData launchData,\r
+            boolean force, boolean suppressAskAgain) {\r
+        URL url = null;\r
+        do {\r
+            // okay to use the shell now - this is the splash shell\r
+            new ChooseWorkspaceDialog(shell, launchData, suppressAskAgain, true).prompt(force);\r
+            String instancePath = launchData.getSelection();\r
+            if (instancePath == null) {\r
+                return null;\r
+            }\r
+\r
+            // the dialog is not forced on the first iteration, but is on every\r
+            // subsequent one -- if there was an error then the user needs to be\r
+            // allowed to fix it\r
+            force = true;\r
+\r
+            // 70576: don't accept empty input\r
+            if (instancePath.length() <= 0) {\r
+                MessageDialog\r
+                .openError(\r
+                        shell,\r
+                        IDEWorkbenchMessages.IDEApplication_workspaceEmptyTitle,\r
+                        IDEWorkbenchMessages.IDEApplication_workspaceEmptyMessage);\r
+                continue;\r
+            }\r
+\r
+            // create the workspace if it does not already exist\r
+            File workspace = new File(instancePath);\r
+            if (!workspace.exists()) {\r
+                workspace.mkdir();\r
+            }\r
+\r
+            try {\r
+                // Don't use File.toURL() since it adds a leading slash that Platform does not\r
+                // handle properly.  See bug 54081 for more details.\r
+                String path = workspace.getAbsolutePath().replace(\r
+                        File.separatorChar, '/');\r
+                url = new URL("file", null, path); //$NON-NLS-1$\r
+            } catch (MalformedURLException e) {\r
+                MessageDialog\r
+                .openError(\r
+                        shell,\r
+                        IDEWorkbenchMessages.IDEApplication_workspaceInvalidTitle,\r
+                        IDEWorkbenchMessages.IDEApplication_workspaceInvalidMessage);\r
+                continue;\r
+            }\r
+        } while (!checkValidWorkspace(shell, url));\r
+\r
+        return url;\r
+    }\r
+\r
+    /**\r
+     * Return true if the argument directory is ok to use as a workspace and\r
+     * false otherwise. A version check will be performed, and a confirmation\r
+     * box may be displayed on the argument shell if an older version is\r
+     * detected.\r
+     * \r
+     * @return true if the argument URL is ok to use as a workspace and false\r
+     *         otherwise.\r
+     */\r
+    private boolean checkValidWorkspace(Shell shell, URL url) {\r
+        // a null url is not a valid workspace\r
+        if (url == null) {\r
+            return false;\r
+        }\r
+\r
+        String version = readWorkspaceVersion(url);\r
+\r
+        // if the version could not be read, then there is not any existing\r
+        // workspace data to trample, e.g., perhaps its a new directory that\r
+        // is just starting to be used as a workspace\r
+        if (version == null) {\r
+            return true;\r
+        }\r
+\r
+        final int ide_version = Integer.parseInt(WORKSPACE_VERSION_VALUE);\r
+        int workspace_version = Integer.parseInt(version);\r
+\r
+        // equality test is required since any version difference (newer\r
+        // or older) may result in data being trampled\r
+        if (workspace_version == ide_version) {\r
+            return true;\r
+        }\r
+\r
+        // At this point workspace has been detected to be from a version\r
+        // other than the current ide version -- find out if the user wants\r
+        // to use it anyhow.\r
+               int severity;\r
+               String title;\r
+               String message;\r
+               if (workspace_version < ide_version) {\r
+                       // Workspace < IDE. Update must be possible without issues,\r
+                       // so only inform user about it.\r
+                       severity = MessageDialog.INFORMATION;\r
+                       title = IDEWorkbenchMessages.IDEApplication_versionTitle_olderWorkspace;\r
+                       message = NLS.bind(IDEWorkbenchMessages.IDEApplication_versionMessage_olderWorkspace, url.getFile());\r
+               } else {\r
+                       // Workspace > IDE. It must have been opened with a newer IDE version.\r
+                       // Downgrade might be problematic, so warn user about it.\r
+                       severity = MessageDialog.WARNING;\r
+                       title = IDEWorkbenchMessages.IDEApplication_versionTitle_newerWorkspace;\r
+                       message = NLS.bind(IDEWorkbenchMessages.IDEApplication_versionMessage_newerWorkspace, url.getFile());\r
+               }\r
+\r
+        MessageBox mbox = new MessageBox(shell, SWT.OK | SWT.CANCEL\r
+                | SWT.ICON_WARNING | SWT.APPLICATION_MODAL);\r
+        mbox.setText(title);\r
+        mbox.setMessage(message);\r
+        return mbox.open() == SWT.OK;\r
+    }\r
+\r
+    /**\r
+     * Look at the argument URL for the workspace's version information. Return\r
+     * that version if found and null otherwise.\r
+     */\r
+    private static String readWorkspaceVersion(URL workspace) {\r
+        File versionFile = getVersionFile(workspace, false);\r
+        if (versionFile == null || !versionFile.exists()) {\r
+            return null;\r
+        }\r
+\r
+        try {\r
+            // Although the version file is not spec'ed to be a Java properties\r
+            // file, it happens to follow the same format currently, so using\r
+            // Properties to read it is convenient.\r
+            Properties props = new Properties();\r
+            FileInputStream is = new FileInputStream(versionFile);\r
+            try {\r
+                props.load(is);\r
+            } finally {\r
+                is.close();\r
+            }\r
+\r
+            return props.getProperty(WORKSPACE_VERSION_KEY);\r
+        } catch (IOException e) {\r
+            IDEWorkbenchPlugin.log("Could not read version file", new Status( //$NON-NLS-1$\r
+                    IStatus.ERROR, IDEWorkbenchPlugin.IDE_WORKBENCH,\r
+                    IStatus.ERROR,\r
+                    e.getMessage() == null ? "" : e.getMessage(), //$NON-NLS-1$,\r
+                            e));\r
+            return null;\r
+        }\r
+    }\r
+\r
+    /**\r
+     * Write the version of the metadata into a known file overwriting any\r
+     * existing file contents. Writing the version file isn't really crucial,\r
+     * so the function is silent about failure\r
+     */\r
+    private static void writeWorkspaceVersion() {\r
+        Location instanceLoc = Platform.getInstanceLocation();\r
+        if (instanceLoc == null || instanceLoc.isReadOnly()) {\r
+            return;\r
+        }\r
+\r
+        File versionFile = getVersionFile(instanceLoc.getURL(), true);\r
+        if (versionFile == null) {\r
+            return;\r
+        }\r
+\r
+        OutputStream output = null;\r
+        try {\r
+            String versionLine = WORKSPACE_VERSION_KEY + '='\r
+            + WORKSPACE_VERSION_VALUE;\r
+\r
+            output = new FileOutputStream(versionFile);\r
+            output.write(versionLine.getBytes("UTF-8")); //$NON-NLS-1$\r
+        } catch (IOException e) {\r
+            IDEWorkbenchPlugin.log("Could not write version file", //$NON-NLS-1$\r
+                    StatusUtil.newStatus(IStatus.ERROR, e.getMessage(), e));\r
+        } finally {\r
+            try {\r
+                if (output != null) {\r
+                    output.close();\r
+                }\r
+            } catch (IOException e) {\r
+                // do nothing\r
+            }\r
+        }\r
+    }\r
+\r
+    /**\r
+     * The version file is stored in the metadata area of the workspace. This\r
+     * method returns an URL to the file or null if the directory or file does\r
+     * not exist (and the create parameter is false).\r
+     * \r
+     * @param create\r
+     *            If the directory and file does not exist this parameter\r
+     *            controls whether it will be created.\r
+     * @return An url to the file or null if the version file does not exist or\r
+     *         could not be created.\r
+     */\r
+    private static File getVersionFile(URL workspaceUrl, boolean create) {\r
+        if (workspaceUrl == null) {\r
+            return null;\r
+        }\r
+\r
+        try {\r
+            // make sure the directory exists\r
+            File metaDir = new File(workspaceUrl.getPath(), METADATA_FOLDER);\r
+            if (!metaDir.exists() && (!create || !metaDir.mkdir())) {\r
+                return null;\r
+            }\r
+\r
+            // make sure the file exists\r
+            File versionFile = new File(metaDir, VERSION_FILENAME);\r
+            if (!versionFile.exists()\r
+                    && (!create || !versionFile.createNewFile())) {\r
+                return null;\r
+            }\r
+\r
+            return versionFile;\r
+        } catch (IOException e) {\r
+            // cannot log because instance area has not been set\r
+            return null;\r
+        }\r
+    }\r
+\r
+    /* (non-Javadoc)\r
+     * @see org.eclipse.equinox.app.IApplication#stop()\r
+     */\r
+    @Override\r
+    public void stop() {\r
+        final IWorkbench workbench = PlatformUI.getWorkbench();\r
+        if (workbench == null)\r
+            return;\r
+        final Display display = workbench.getDisplay();\r
+        display.syncExec(new Runnable() {\r
+            @Override\r
+            public void run() {\r
+                if (!display.isDisposed())\r
+                    workbench.close();\r
+            }\r
+        });\r
+    }\r
+\r
+}\r