- minor change in OntologyNetwork.trim()

src/fr/inrialpes/exmo/align/service/AServProtocolManager.java

@@ -1026,10 +1026,10 @@ public class AServProtocolManager implements Service {
 	    pretty = noo.getExtension( Namespace.EXT.uri, Annotations.PRETTY ) + "/trimmed";
 	}
 	noo = noo.clone();
-	noo.setExtension( Namespace.EXT.uri, Annotations.PRETTY, pretty );
 	// trim
     	try {
 	    noo.trim( method, threshold );
+	    noo.setExtension( Namespace.EXT.uri, Annotations.PRETTY, pretty );
 	} catch (AlignmentException e) {
     	    return new ErrorMsg( params, newId(), serverId,"Network alignment error" );
     	}