JAL-3560 tweak to force use of standard Java HashSet

[jalview.git] / src / swingjs / api / JSUtilI.java

diff --git a/src/swingjs/api/JSUtilI.java b/src/swingjs/api/JSUtilI.java
index ddf4141..5625f79 100644 (file)
--- a/src/swingjs/api/JSUtilI.java
+++ b/src/swingjs/api/JSUtilI.java
@@ -174,4 +174,12 @@ public interface JSUtilI {
    */
   boolean streamToFile(InputStream is, File outFile);
 
+  /**
+   * Switch the flag in SwingJS to use or not use the JavaScript Map object in
+   * Hashtable, HashMap, and HashSet. Default is enabled.
+   * 
+   */
+
+  void setJavaScriptMapObjectEnabled(boolean enabled);
+
 }