public AddExceptionDocumentationFix(ExceptionNotDocumentedOptionalHighlighting error)
 {
     Error = error;
 }
 public CatchExceptionFix(ExceptionNotDocumentedOptionalHighlighting error)
 {
     Error = error;
 }