}
	public static String fullPath(String path) {	    path = path.trim();	    //System.err.println("The path is: " + path);	    if (path.startsWith("http://"))		return path;	    if (path.startsWith("/")) {		if (address.getPort() != -1) {		    return address.getHost() + ":" + address.getPort() + "/" + path;		} else {		    return address.getHost() + "/" + path;		}	    }	    else {		String temp = address.toString();		temp = temp.substring(0, temp.lastIndexOf("/"));		return temp + "/" + path;	    }	}