@Override
  public @NotNull OptPane getOptionsPane() {
    return pane(
      number("maxLevel",
             InspectionGadgetsBundle.message("inspection.enhanced.for.with.record.pattern.can.be.used.level.option"), 0, MAX_LEVEL),
      number("maxComponentCounts",
             InspectionGadgetsBundle.message("inspection.enhanced.for.with.record.pattern.can.be.used.components.option"), 1,
             MAX_COMPONENT_COUNTS),
      number("maxNotUsedComponentCounts",
             InspectionGadgetsBundle.message("inspection.enhanced.for.with.record.pattern.can.be.used.not.used.option"), 0,
             MAX_COMPONENT_COUNTS)
    );
  }
@Override
  public @NotNull OptPane getOptionsPane()