Revert claim when exception occurs in crawljax