boolean ( GrTryCatchStatement tryStatement, GrMethod method) { final GrCodeBlock tryBlock = tryStatement.getTryBlock(); if (codeBlockDefinitelyRecurses(tryBlock, method)) { return true; } final GrFinallyClause finallyBlock = tryStatement.getFinallyClause(); if (finallyBlock == null) { return false; } return codeBlockDefinitelyRecurses(finallyBlock.getBody(), method); }