increase plugin ID to 3.1.2
diff --git a/META-INF/MANIFEST.MF b/META-INF/MANIFEST.MF
index 00dc181..efef776 100644
--- a/META-INF/MANIFEST.MF
+++ b/META-INF/MANIFEST.MF
@@ -3,7 +3,7 @@
Bundle-ManifestVersion: 2
Bundle-Name: %pluginName
Bundle-SymbolicName: org.eclipse.jdt.core; singleton:=true
-Bundle-Version: 3.1.1
+Bundle-Version: 3.1.2
Bundle-ClassPath: .
Bundle-Activator: org.eclipse.jdt.core.JavaCore
Bundle-Vendor: %providerName
diff --git a/scripts/exportplugin.xml b/scripts/exportplugin.xml
index 41ec08a..4d32969 100644
--- a/scripts/exportplugin.xml
+++ b/scripts/exportplugin.xml
@@ -1,7 +1,13 @@
<?xml version="1.0" encoding="UTF-8"?>
<!-- build script to create a plugin from ${plugin} -->
-<project name="${plugin}" default="export plug-in [_3.1.1]" basedir="..">
+<project name="${plugin}" default="export plug-in [_3.1.2]" basedir="..">
+
+<target name="export plug-in [_3.1.2]">
+ <antcall target="zz_internal_export">
+ <param name="jdt_core_version" value="3.1.2"/>
+ </antcall>
+</target>
<target name="export plug-in [_3.1.1]">
<antcall target="zz_internal_export">
