X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fio%2FJalviewFileChooser.java;h=8050e975319130098fd525733bf6dbd2c7a0a4b2;hb=be915dc80b72e8130c43d6f0e1f59a7c09938b65;hp=fea470df0282cfe6becd25cb19e45c0f376e7f72;hpb=00fe5a8e337e447ba0a0e304808aae7538693415;p=jalview.git

diff --git a/src/jalview/io/JalviewFileChooser.java b/src/jalview/io/JalviewFileChooser.java
index fea470d..8050e97 100755
--- a/src/jalview/io/JalviewFileChooser.java
+++ b/src/jalview/io/JalviewFileChooser.java
@@ -23,7 +23,6 @@ package jalview.io;
 import java.io.*;
 import java.awt.*;
 import javax.swing.*;
-import javax.swing.plaf.basic.*;
 
 public class JalviewFileChooser
     extends JFileChooser
@@ -62,30 +61,32 @@ public class JalviewFileChooser
   {
     super.setFileFilter(filter);
 
-    if (! (getUI() instanceof BasicFileChooserUI))
-    {
-      return;
-    }
-
-    final BasicFileChooserUI ui = (BasicFileChooserUI) getUI();
-    final String name = ui.getFileName().trim();
+    try{
+      final javax.swing.plaf.basic.BasicFileChooserUI ui = (javax.swing.plaf.basic.
+          BasicFileChooserUI) getUI();
+      final String name = ui.getFileName().trim();
 
-    if ( (name == null) || (name.length() == 0))
-    {
-      return;
-    }
+      if ( (name == null) || (name.length() == 0))
+      {
+        return;
+      }
 
-    EventQueue.invokeLater(new Thread()
-    {
-      public void run()
+      EventQueue.invokeLater(new Thread()
       {
-        String currentName = ui.getFileName();
-        if ( (currentName == null) || (currentName.length() == 0))
+        public void run()
         {
-          ui.setFileName(name);
+          String currentName = ui.getFileName();
+          if ( (currentName == null) || (currentName.length() == 0))
+          {
+            ui.setFileName(name);
+          }
         }
-      }
-    });
+      });
+
+    }catch(Exception ex)
+    {
+      // Some platforms do not have BasicFileChooserUI
+    }
   }