@NotNull
  public static InspectionToolWrapper<?,?> wrapTool(@NotNull InspectionProfileEntry profileEntry) {
    if (profileEntry instanceof LocalInspectionTool local) {
      LocalInspectionToolWrapper wrapper = new LocalInspectionToolWrapper(local);
      if (local.myNameProvider == null) {
        local.myNameProvider = wrapper.getExtension();
      }
      return wrapper;
    }
    else if (profileEntry instanceof GlobalInspectionTool global) {
      GlobalInspectionToolWrapper wrapper = new GlobalInspectionToolWrapper(global);
      if (global.myNameProvider == null) {
        global.myNameProvider = wrapper.getExtension();
      }
      return wrapper;
    }
    else throw new RuntimeException("unknown inspection class: " + profileEntry + "; " + profileEntry.getClass());
  }
@NotNull
  public static InspectionToolWrapper<?,?> wrapTool(@NotNull InspectionProfileEntry profileEntry)