DatasetGraphTDB dsgMem = load(args[0]);
Location location = new Location(args[1]);
if (!copyToLocal) {
// TODO: this is a sort of a cheat and it could go away (if it turns out to be too slow)!
download.fixNodeTable2(location);
}
DatasetGraphTDB dsgDisk = SetupTDB.buildDataset(location) ;
boolean isomorphic = isomorphic ( dsgMem, dsgDisk );
System.out.println ("> " + isomorphic);