X-Git-Url: http://git.phpeclipse.com

diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/core/builder/State.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/core/builder/State.java
index 4d60110..e5f273f 100644
--- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/core/builder/State.java
+++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/core/builder/State.java
@@ -320,18 +320,18 @@ public class State {
 		return newState;
 	}
 
-	private static char[][] readNames(DataInputStream in) throws IOException {
-		int length = in.readInt();
-		char[][] names = new char[length][];
-		for (int i = 0; i < length; i++) {
-			int nLength = in.readInt();
-			char[] name = new char[nLength];
-			for (int j = 0; j < nLength; j++)
-				name[j] = in.readChar();
-			names[i] = name;
-		}
-		return names;
-	}
+//	private static char[][] readNames(DataInputStream in) throws IOException {
+//		int length = in.readInt();
+//		char[][] names = new char[length][];
+//		for (int i = 0; i < length; i++) {
+//			int nLength = in.readInt();
+//			char[] name = new char[nLength];
+//			for (int j = 0; j < nLength; j++)
+//				name[j] = in.readChar();
+//			names[i] = name;
+//		}
+//		return names;
+//	}
 
 	void tagAsNoopBuild() {
 		this.buildNumber = -1; // tag the project since it has no source
@@ -548,18 +548,18 @@ public class State {
 		// }
 	}
 
-	private void writeNames(char[][] names, DataOutputStream out)
-			throws IOException {
-		int length = names == null ? 0 : names.length;
-		out.writeInt(length);
-		for (int i = 0; i < length; i++) {
-			char[] name = names[i];
-			int nLength = name.length;
-			out.writeInt(nLength);
-			for (int j = 0; j < nLength; j++)
-				out.writeChar(name[j]);
-		}
-	}
+//	private void writeNames(char[][] names, DataOutputStream out)
+//			throws IOException {
+//		int length = names == null ? 0 : names.length;
+//		out.writeInt(length);
+//		for (int i = 0; i < length; i++) {
+//			char[] name = names[i];
+//			int nLength = name.length;
+//			out.writeInt(nLength);
+//			for (int j = 0; j < nLength; j++)
+//				out.writeChar(name[j]);
+//		}
+//	}
 
 	/**
 	 * Returns a string representation of the receiver.