JAL-3446 from applet -- reload; also fixes some repaint issues

[jalview.git] / src / jalview / util / jarInputStreamProvider.java

diff --git a/src/jalview/util/jarInputStreamProvider.java b/src/jalview/util/jarInputStreamProvider.java
index 86bf0eb..58d52da 100644 (file)
--- a/src/jalview/util/jarInputStreamProvider.java
+++ b/src/jalview/util/jarInputStreamProvider.java
@@ -1,6 +1,6 @@
 /*
- * Jalview - A Sequence Alignment Editor and Viewer (Version 2.8.2)
- * Copyright (C) 2014 The Jalview Authors
+ * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
+ * Copyright (C) $$Year-Rel$$ The Jalview Authors
  * 
  * This file is part of Jalview.
  * 
@@ -20,6 +20,7 @@
  */
 package jalview.util;
 
+import java.io.File;
 import java.io.IOException;
 import java.util.jar.JarInputStream;
 
@@ -45,4 +46,9 @@ public interface jarInputStreamProvider
    *         with it
    */
   String getFilename();
+
+  /**
+   * @return jarFile name if from SwingJS
+   */
+  File getFile();
 }