import jalview.util.Platform;
import jalview.ws.jws2.Jws2Discoverer;
+import java.awt.event.ActionEvent;
+import java.awt.event.ActionListener;
import java.io.BufferedReader;
import java.io.File;
import java.io.FileOutputStream;
import java.util.logging.Logger;
import javax.swing.LookAndFeel;
+import javax.swing.Timer;
import javax.swing.UIManager;
import groovy.lang.Binding;
// setLogging(); // BH - for event debugging in JavaScript
instance = new Jalview();
instance.doMain(args);
- }
+}
private static void logClass(String name)
{