else return new URI(getPath(sym.owner()).toString() + File.separator + getName(sym));
else {  return new URI(getPath(sym.owner()).toString() + "/" + getName(sym)); }
    static private URI getPath(Symbol sym) {        assert sym.isClassType(): Debug.show(sym);	try {	    if (sym.isRoot())		return new URI(ROOT_NAME);	    else if (sym.owner().isRoot())		return new URI(getName(sym));	    else		return new URI(getPath(sym.owner()).toString() + File.separator + getName(sym));	} catch(Exception e) { return null; }    }