It's not redundant.  break statement below will only break out of inner loop.