return;
}
DerivationTree tree = new DerivationTree(tgt.split(DerivationTree.DELIMITER)[1], src);
if (dv == null) {
dv = new DerivationViewer(tree, viewPanel.getSize(), targetColor, DerivationViewer.AnchorType.ANCHOR_LEFTMOST_LEAF);
}
else {
dv.setGraph(tree);
tree.addCorrespondences();
}