@Override
  public @NotNull OptPane getOptionsPane() {
    return pane(
      checkbox("ignoreInMatchingInstanceof",
               InspectionGadgetsBundle.message("overly.strong.type.cast.ignore.in.matching.instanceof.option")));
  }
@Override
  public @NotNull OptPane getOptionsPane()