Merge branch 'alpha/JAL-3362_Jalview_212_alpha' into alpha/merge_212_JalviewJS_2112

[jalview.git] / src / jalview / bin / Jalview.java

diff --git a/src/jalview/bin/Jalview.java b/src/jalview/bin/Jalview.java
index cdd8cc1..08b4a1b 100755 (executable)
--- a/src/jalview/bin/Jalview.java
+++ b/src/jalview/bin/Jalview.java
@@ -112,21 +112,21 @@ public class Jalview
      */
     {
       // grab all the rights we can for the JVM
-           Policy.setPolicy(new Policy()
-           {
-             @Override
-             public PermissionCollection getPermissions(CodeSource codesource)
-             {
-               Permissions perms = new Permissions();
-               perms.add(new AllPermission());
-               return (perms);
-             }
-       
-             @Override
-             public void refresh()
-             {
-             }
-           });
+      Policy.setPolicy(new Policy()
+      {
+        @Override
+        public PermissionCollection getPermissions(CodeSource codesource)
+        {
+          Permissions perms = new Permissions();
+          perms.add(new AllPermission());
+          return (perms);
+        }
+  
+        @Override
+        public void refresh()
+        {
+        }
+      });
     }
   }
 
@@ -139,8 +139,8 @@ public class Jalview
   class FeatureFetcher
   {
     /*
-     * TODO: generalise to track all jalview events to orchestrate batch processing
-     * events.
+     * TODO: generalise to track all jalview events to orchestrate batch
+     * processing events.
      */
 
     private int queued = 0;
@@ -202,14 +202,14 @@ public class Jalview
    */
   public static void main(String[] args)
   {
-//     setLogging(); // BH - for event debugging in JavaScript
+//  setLogging(); // BH - for event debugging in JavaScript
     instance = new Jalview();
     instance.doMain(args);
 }
 
   private static void logClass(String name) 
-  {    
-         // BH - for event debugging in JavaScript
+  {  
+    // BH - for event debugging in JavaScript
       ConsoleHandler consoleHandler = new ConsoleHandler();
       consoleHandler.setLevel(Level.ALL);
       Logger logger = Logger.getLogger(name);
@@ -229,21 +229,21 @@ public class Jalview
       System.out.println("not in js");
     }
 
-         // BH - for event debugging in JavaScript (Java mode only)
+    // BH - for event debugging in JavaScript (Java mode only)
     if (!Platform.isJS())
     /**
      * Java only
      * 
      * @j2sIgnore
      */
-       {
-               Logger.getLogger("").setLevel(Level.ALL);
+    {
+      Logger.getLogger("").setLevel(Level.ALL);
         logClass("java.awt.EventDispatchThread");
         logClass("java.awt.EventQueue");
         logClass("java.awt.Component");
         logClass("java.awt.focus.Component");
         logClass("java.awt.focus.DefaultKeyboardFocusManager"); 
-       }       
+    }  
 
   }