DebugLog.log("Reverted '" + path + "'"); out.println("Reverted '" + path + "'"); }
println(out, "Reverted '" + path + "'"); }
				public void modified(String path, int kind) {					try {						path = convertPath(workspacePath, workspace, path);					}					catch (IOException e) {					}					DebugLog.log("Reverted '" + path + "'");					out.println("Reverted '" + path + "'");				}