@Override
  public @NotNull OptPane getOptionsPane() {
    return pane(
      checkbox("ignoreInstanceofOnLibraryClasses", InspectionGadgetsBundle.message("ignore.instanceof.on.library.classes")));
  }
@Override
  public @NotNull OptPane getOptionsPane()