@@ -389,15 +389,10 @@ } }; } @Override - protected void finishDuplication() { - // TODO (gd) ? - } - - @Override protected void beforeDuplication() { // Nothing to do } private static PhiNode patchPhi(StructuredGraph graph, PhiNode phi, AbstractMergeNode merge) {