Merge branch 'Jalview-JS/develop' of https://source.jalview.org/git/jalview.git into...
[jalview.git] / src / jalview / io / VamsasAppDatastore.java
index c60fd88..15c481d 100644 (file)
@@ -35,8 +35,10 @@ import jalview.io.vamsas.DatastoreRegistry;
 import jalview.io.vamsas.Rangetype;
 import jalview.project.Jalview2XML;
 import jalview.util.MessageManager;
+import jalview.util.jarInputStreamProvider;
 import jalview.viewmodel.AlignmentViewport;
 
+import java.io.File;
 import java.io.IOException;
 import java.util.Enumeration;
 import java.util.HashMap;
@@ -1320,7 +1322,7 @@ public class VamsasAppDatastore
             // and
             // mapValuesToString
             fromxml.setSkipList(skipList);
-            jalview.util.jarInputStreamProvider jprovider = new jalview.util.jarInputStreamProvider()
+            jarInputStreamProvider jprovider = new jarInputStreamProvider()
             {
 
               @Override
@@ -1338,6 +1340,12 @@ public class VamsasAppDatastore
                         "Returning client input stream for Jalview from Vamsas Document.");
                 return new JarInputStream(cappdata.getClientInputStream());
               }
+
+              @Override
+              public File getFile()
+              {
+                return null;
+              }
             };
             if (dojvsync)
             {
@@ -1368,7 +1376,7 @@ public class VamsasAppDatastore
           fromxml.setSkipList(skipList);
           fromxml.setObjectMappingTables(mapKeysToString(vobj2jv),
                   mapValuesToString(jv2vobj));
-          jalview.util.jarInputStreamProvider jarstream = new jalview.util.jarInputStreamProvider()
+          jarInputStreamProvider jarstream = new jarInputStreamProvider()
           {
 
             @Override
@@ -1386,6 +1394,12 @@ public class VamsasAppDatastore
                       "Returning user input stream for Jalview from Vamsas Document.");
               return new JarInputStream(cappdata.getUserInputStream());
             }
+
+            @Override
+            public File getFile()
+            {
+              return null;
+            }
           };
           if (dojvsync)
           {