@Override
  public @NotNull OptPane getOptionsPane() {
    return pane(
      checkbox("m_ignoreLoopsWithoutConditions", InspectionGadgetsBundle.message(
        "for.loop.replaceable.by.while.ignore.option")));
  }
@Override
  public @NotNull OptPane getOptionsPane()