@Override
  public @NotNull OptPane getOptionsPane() {
    return OptPane.pane(checkbox("reportAlsoCastWithIntroducingNewVariable",
                                 InspectionGadgetsBundle.message("inspection.pattern.variable.can.be.used.report.cast.only")));
  }
@Override
  public @NotNull OptPane getOptionsPane()