Updated the version number to 2.1.3.
diff --git a/bundles/org.eclipse.ui.workbench/plugin.xml b/bundles/org.eclipse.ui.workbench/plugin.xml
index d6d827e..a091649 100644
--- a/bundles/org.eclipse.ui.workbench/plugin.xml
+++ b/bundles/org.eclipse.ui.workbench/plugin.xml
@@ -2,7 +2,7 @@
 <plugin
    id="org.eclipse.ui.workbench"
    name="%pluginName"
-   version="2.1.2"
+   version="2.1.3"
    provider-name="%providerName"
    class="org.eclipse.ui.internal.WorkbenchPlugin">