finallyNode= head.getFinallyNode();
if (finallyNode != null)
{
Block b= finallyNode.block;
b.removeChild(b.getFirstChild());
b.removeChild(b.getLastChild());
graph.rerootOutEdges(finallyNode, newNode, false);
graph.removeInEdges(finallyNode);
graph.removeNode(finallyNode);