dirs = dirs.replace(File.pathSeparatorChar, PATH_SEPARATOR);
	public static void splitPath(String dirs, String currentDir, ArrayList list)	{		if (dirs==null || dirs.length()==0)			return;		// replace all to PATH_SEPARATOR		dirs = dirs.replace(File.pathSeparatorChar, PATH_SEPARATOR);				int pos1 = -1;		int pos2 = pos1;		do		{			pos2 = dirs.indexOf(PATH_SEPARATOR, pos1+1);			if (pos2==-1)				pos2 = dirs.length();			// special case for  "::" part			if ((pos1+1)==pos2)				list.add(currentDir);						else			{				String part = dirs.substring(pos1+1, pos2);				list.add(part);						}				pos1 = pos2;		} while (pos1<dirs.length());			}