/** Convert an IRI to a filename */
public static String IRIToFilename(String iri)
{
if ( ! iri.startsWith("file:") )
throw new AtlasException("Not a file: URI: "+iri) ;
String fn ;
if ( iri.startsWith("file:///") )
fn = iri.substring("file://".length()) ;
else