File eclipse-ecj-classpath.patch of Package eclipse
--- eclipse-3.1.0_fc/plugins/org.eclipse.jdt.core/batch/org/eclipse/jdt/internal/compiler/batch/Main.java.orig 2005-07-28 10:15:53.000000000 +0100
+++ eclipse-3.1.0_fc/plugins/org.eclipse.jdt.core/batch/org/eclipse/jdt/internal/compiler/batch/Main.java 2005-07-27 17:21:16.000000000 +0100
@@ -2049,6 +2049,8 @@
token = tokenizer.nextToken();
if (token.equals(File.pathSeparator)) {
switch (state) {
+ case start:
+ break;
case readyToClose:
case readyToCloseEndingWithRules:
case readyToCloseOrOtherEntry: