--- 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: