s = s.replace(IconPathSeparator, File.pathSeparatorChar);
s = s.replace(IconPathSeparator, File.pathSeparatorChar) + File.pathSeparatorChar;
static String[] crackpath(String s){    Vector v = new Vector();    s = s.replace(IconPathSeparator, File.pathSeparatorChar);    v.addElement(System.getProperty("user.dir"));	// always first    int i = 0;    int j;    while ((j = s.indexOf(File.pathSeparatorChar, i)) >= 0) {	String dir = s.substring(i, j);	if (dir.length() != 0 && ! dir.equals(v.lastElement())) {	    v.addElement(dir);	}	i = j + 1;    }    String a[] = new String[v.size()];    v.copyInto(a);    return a;}