MenuItem item;\r
\r
// dynamically fill save as menu with available formats\r
- for (int i = 0; i < jalview.io.AppletFormatAdapter.formats.size(); i++)\r
+ for (int i = 0; i < jalview.io.AppletFormatAdapter.formats.size()-2; i++)\r
{\r
\r
item = new MenuItem( (String) jalview.io.AppletFormatAdapter.formats.\r