Loop condition is never modified in loop body.

See: https://errorprone.info/bugpattern/LoopConditionChecker