*** empty log message ***
diff --git a/org.eclipse.jdt.core/model/org/eclipse/jdt/core/JavaCore.java b/org.eclipse.jdt.core/model/org/eclipse/jdt/core/JavaCore.java
index 76ca599..7ad19d2 100644
--- a/org.eclipse.jdt.core/model/org/eclipse/jdt/core/JavaCore.java
+++ b/org.eclipse.jdt.core/model/org/eclipse/jdt/core/JavaCore.java
@@ -9,7 +9,7 @@
import org.eclipse.core.resources.*;
import java.io.*;
-import java.net.*;
+import java.net.URL;
import java.util.*;
import org.eclipse.jdt.internal.compiler.*;
@@ -142,7 +142,7 @@
public static final String COMPILER_PB_NON_EXTERNALIZED_STRING_LITERAL = PLUGIN_ID + ".compiler.problem.nonExternalizedStringLiteral"/*nonNLS*/;
private static Hashtable DefaultOptions;
- private final static String PropertiesBundleName = "org.eclipse.jdt.core.javacore"/*nonNLS*/;
+ private final static String PropertiesBundleName = "org.eclipse.jdt.core.JavaCore"/*nonNLS*/;
/**
* Creates the Java core plug-in.
*/
diff --git a/org.eclipse.jdt.core/scripts/bin2jar.xml b/org.eclipse.jdt.core/scripts/bin2jar.xml
deleted file mode 100644
index d8f994d..0000000
--- a/org.eclipse.jdt.core/scripts/bin2jar.xml
+++ /dev/null
@@ -1,20 +0,0 @@
-<!-- build script to create a plugin from org.eclipse.jdt.core -->
-<project name="org.eclipse.jdt.core" default="export" basedir="..">
- <target name="init">
- <tstamp/>
- <property name="destdir" value="../../plugin-update" />
- <property name="dest" value="${destdir}/org.eclipse.jdt.core" />
- </target>
-
- <target name="export" depends="init">
- <mkdir dir="${destdir}" />
- <delete dir="${dest}" />
- <mkdir dir="${dest}" />
- <jar
- jarfile="${dest}/jdtcore.jar"
- basedir="bin"
- />
- <copy file="plugin.xml" todir="${dest}"/>
- <copy file="notice.html" todir="${dest}"/>
- </target>
-</project>
diff --git a/org.eclipse.jdt.core/scripts/pluginUpdate.xml b/org.eclipse.jdt.core/scripts/pluginUpdate.xml
new file mode 100644
index 0000000..8dc3cbc
--- /dev/null
+++ b/org.eclipse.jdt.core/scripts/pluginUpdate.xml
@@ -0,0 +1,40 @@
+<!-- build script to create a plugin from org.eclipse.jdt.core -->
+<project name="org.eclipse.jdt.core" default="export" basedir="..">
+ <target name="init">
+ <tstamp/>
+ <property name="destdir" value="../../plugin-update" />
+ <property name="dest" value="${destdir}/org.eclipse.jdt.core" />
+ </target>
+
+ <target name="export" depends="init">
+
+ <echo message="TARGET: ${destdir}" />
+ <mkdir dir="${destdir}" />
+ <delete dir="${dest}" />
+ <mkdir dir="${dest}" />
+
+ <echo message="UPDATE jdtcore.jar" />
+ <jar
+ jarfile="${dest}/jdtcore.jar"
+ basedir="bin"
+ />
+
+ <echo message="UPDATE plugin.xml" />
+ <copy file="plugin.xml" todir="${dest}" />
+
+ <echo message="UPDATE notice.html" />
+ <copy file="notice.html" todir="${dest}" />
+
+ <echo message="UPDATE jdtcoresrc.zip" />
+ <zip zipfile="${dest}/jdtcoresrc.zip">
+ <zipfileset dir="Eclipse Java Ant Compiler" />
+ <zipfileset dir="Eclipse Java Batch Compiler" />
+ <zipfileset dir="Eclipse Java Code Assist" />
+ <zipfileset dir="Eclipse Java Compiler" />
+ <zipfileset dir="Eclipse Java Core Search" />
+ <zipfileset dir="Eclipse Java Evaluation" />
+ <zipfileset dir="Eclipse Java Model" />
+ <zipfileset dir="Eclipse Java Formatter" />
+ </zip>
+ </target>
+</project>