if (str.endsWith("/")) tmp += sep;
	public static String replace(String str) {		String sep = System.getProperty("file.separator");		if (sep.equals("/")) return str;		StringTokenizer tok = new StringTokenizer(str, "/");		String tmp = tok.nextToken();		while (tok.hasMoreTokens()) {			tmp += sep + tok.nextToken();		}		return tmp;	}