openjdk7 returns null for default value selected format if it hasn't been touched
authorjprocter <jprocter@compbio.dundee.ac.uk>
Sat, 17 Nov 2012 18:47:51 +0000 (18:47 +0000)
committerjprocter <jprocter@compbio.dundee.ac.uk>
Sat, 17 Nov 2012 18:47:51 +0000 (18:47 +0000)
src/jalview/gui/Desktop.java

index 877aebb..db7c32c 100644 (file)
@@ -912,7 +912,7 @@ public class Desktop extends jalview.jbgui.GDesktop implements
               .getSelectedFile().getParent());
 
       String format = null;
-      if (chooser.getSelectedFormat().equals("Jalview"))
+      if (chooser.getSelectedFormat()!=null && chooser.getSelectedFormat().equals("Jalview"))
       {
         format = "Jalview";
       }