@Override
  public void writeSettings(@NotNull Element node) {
    defaultWriteSettings(node, "doNotWeakenReturnType", "doNotWeakenInferredVariableType", "stopClasses");
    writeBooleanOption(node, "doNotWeakenReturnType", true);
    writeBooleanOption(node, "doNotWeakenInferredVariableType", false);
    if (!myStopClassSet.isEmpty()) {
      Element stopClasses = new Element("stopClasses");
      stopClasses.addContent(String.join(",", myStopClassSet));
      node.addContent(stopClasses);
    }
  }
@Override
  public void writeSettings(@NotNull Element node)