git://source.jalview.org / jalview.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 6effa91 fa8a0ce)
Merge branch 'develop' into JAL-3416_different_look_and_feel_on_linux
authorBen Soares <b.soares@dundee.ac.uk>
Mon, 4 Oct 2021 16:46:03 +0000 (17:46 +0100)
committerBen Soares <b.soares@dundee.ac.uk>
Mon, 4 Oct 2021 16:46:03 +0000 (17:46 +0100)
1  2 
src/jalview/bin/Jalview.java patch | diff1 | diff2 | blob | history

diff --cc src/jalview/bin/Jalview.java
index a1a6846,fe48283..73227d3
--- 1/src/jalview/bin/Jalview.java
--- 2/src/jalview/bin/Jalview.java
+++ b/src/jalview/bin/Jalview.java
@@@ -38,6 -39,6 +38,7 @@@ import java.security.PermissionCollecti
  import java.security.Permissions;
  import java.security.Policy;
  import java.util.HashMap;
++import java.util.Locale;
  import java.util.Map;
  import java.util.Vector;
  import java.util.logging.ConsoleHandler;