return path.replace('/','\\');
path = path.replace('/','\\');
	private static String canonPath(String path)	{		if(File.separatorChar == '\\')		{			// get rid of mixed paths on Windows			return path.replace('/','\\');		}		else			return path;	}