@@ -772,7 +772,7 @@ private synchronized void replaceTextAreaCode(String code) {
 	}
 
 
-	private String replaceString(String str, int start, int end, String put) {
+	static private String replaceString(String str, int start, int end, String put) {
 		return str.substring(0, start) + put + str.substring(end, str.length());
 	}
 
 
@@ -736,16 +736,7 @@ else if (!isWhiteSpace(code.charAt(pos))) {
 	}
 
 	static private boolean isWhiteSpace(char c) {
-		if (c == ' ' ||
-				c == '\t' ||
-				c == '\n' ||
-				c == '\r') {
-			return true;
-		}
-		
-		int[][] a = {{1,2},{3,4}};
-		
-		return false;
+		return c == ' ' || c == '\t' || c == '\n' || c == '\r';
 	}
 
 	/**
Original file line number	Diff line number	Diff line change
@@ -772,7 +772,7 @@ private synchronized void replaceTextAreaCode(String code) {
772	772	}
773	773
774	774
775		- private String replaceString(String str, int start, int end, String put) {
	775	+ static private String replaceString(String str, int start, int end, String put) {
776	776	return str.substring(0, start) + put + str.substring(end, str.length());
777	777	}
778	778