if (!m1.isIsomorphicWith(m2)) {
if ( true || m1.size() == m2.size()) {
System.err.println("GRDDL\n=====");
m1.difference(m2).write(System.err, "N3-TRIPLES");
System.err.println("RDF/XML\n=======");
m2.difference(m1).write(System.err, "N3-TRIPLES");
}
String fn = shorten(input);
if (fn.indexOf('/') == -1) {
FileOutputStream fos = new FileOutputStream("C:/temp/" + fn