Issue 856: refactoring of how filenames are chosen for Detailed Summary

src/main/java/network/brightspots/rcv/AuditableFile.java

@@ -19,12 +19,17 @@
 import java.io.File;
 import java.io.IOException;
 import java.nio.file.Files;
+import java.nio.file.Path;
 
 final class AuditableFile extends File {
   public AuditableFile(String pathname) {
     super(pathname);
   }
 
+  public AuditableFile(Path pathname) {
+    super(pathname.toAbsolutePath().toString());
+  }
+
   public void finalizeAndHash() {
     String hash = Utils.bytesToHex(FileUtils.getHashBytes(this, "SHA-512"));
 

src/main/java/network/brightspots/rcv/GuiTabulateController.java

@@ -233,7 +233,7 @@ private void watchParseCvrServiceProgress(Service<LoadedCvrData> service) {
             // and calculate the width of the filename column
             perSourceCvrCountTable.getItems().clear();
             int maxFilenameLength = 0;
-            for (ResultsWriter.CvrSourceData sourceData : data.getCvrSourcesData()) {
+            for (OutputWriter.CvrSourceData sourceData : data.getCvrSourcesData()) {
               String countString = String.format("%,d", sourceData.getNumCvrs());
               String fileString = new File(sourceData.source.getFilePath()).getName();
               perSourceCvrCountTable.getItems().add(new Pair<>(fileString, countString));