Location location = toLocation(t);
Statement context = (trystmt != null) ? trystmt : flowPeek();
if (trystmt == null) {
trystmt = getEnclosingTryBlock();
}
FinallyStatement finallystmt = new FinallyStatement(trystmt, toLocation(t));
trystmt.setFinally(finallystmt);
flowPush(finallystmt);
Statement();
flowPush(context);
}