Added return statement to @checked when exception gets caught