if (dupSeparator.equals("\\") && dupIndex == 0)
if (dupSeparator.equals("\\\\") && dupIndex == 0)
  private String normalizePath(String p)  {    int dupIndex = p.indexOf(dupSeparator);    int plen = p.length();        // Special case: permit Windows UNC path prefix.    if (dupSeparator.equals("\\") && dupIndex == 0)      dupIndex = p.indexOf(dupSeparator, 1);    if (dupIndex == -1)      {        // Ignore trailing separator.        if (plen > 1 && p.charAt(plen - 1) == separatorChar)	  return p.substring(0, plen - 1);	else	  return p;      }        StringBuffer newpath = new StringBuffer(plen);    int last = 0;    while (dupIndex != -1)      {        newpath.append(p.substring(last, dupIndex));	// Ignore the duplicate path characters.	while (p.charAt(dupIndex) == separatorChar)	  {	    dupIndex++;	    if (dupIndex == plen)	      return newpath.toString();	  }	newpath.append(separatorChar);	last = dupIndex;	dupIndex = p.indexOf(dupSeparator, last);      }        // Again, ignore possible trailing separator.    int end;    if (plen > 1 && p.charAt(plen - 1) == separatorChar)      end = plen - 1;    else      end = plen;    newpath.append(p.substring(last, end));        return newpath.toString();  }