JGitDiff better error message

Author: pmbittner

src/main/java/org/variantsync/diffdetective/variation/diff/construction/JGitDiff.java

@@ -1,6 +1,7 @@
 package org.variantsync.diffdetective.variation.diff.construction;
 
 import org.eclipse.jgit.diff.*;
+import org.tinylog.Logger;
 import org.variantsync.diffdetective.diff.git.GitDiffer;
 import org.variantsync.diffdetective.diff.result.DiffParseException;
 import org.variantsync.diffdetective.variation.DiffLinesLabel;
@@ -92,7 +93,18 @@ Using our own formatter without diff headers (paired with a maximum context (?))
         //textDiff = textDiff.replace("\\ No newline at end of file\n", "");
         //textDiff = HUNK_HEADER_REGEX.matcher(textDiff).replaceAll("");
 
-        final VariationDiff<DiffLinesLabel> d = VariationDiffParser.createVariationDiff(textDiff, options);
+        final VariationDiff<DiffLinesLabel> d;
+        try {
+            d = VariationDiffParser.createVariationDiff(textDiff, options);
+        } catch (DiffParseException e) {
+            Logger.error("""
+                            Could not parse diff:
+                            
+                            {}
+                            """,
+                    textDiff);
+            throw e;
+        }
         d.setSource(new PatchString(textDiff));
         return d;
     }

src/main/java/org/variantsync/diffdetective/variation/diff/view/DiffView.java

@@ -74,11 +74,7 @@ private static <L extends Label> VariationDiff<DiffLinesLabel> naive(final Varia
         try {
             view = JGitDiff.diff(projectionViewText[0], projectionViewText[1], DiffAlgorithm.SupportedAlgorithm.MYERS, Main.VARIATION_DIFF_PARSE_OPTIONS);
         } catch (DiffParseException e) {
-            Logger.error("""
-                            Could not parse diff obtained with query {} at {}:
-                            Diff:
-                            """,
-                    d.getSource(), rho);
+            Logger.error("Could not parse diff obtained with query {} at {}", d.getSource(), rho);
             throw e;
         }
         view.setSource(new ViewSource<>(d, rho));