X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fbin%2FJalview.java;h=08b4a1b713f99f88a2675e42de13f6b497705766;hb=c794c5033adeee182b03a5ea92c0a7495a29661f;hp=cdd8cc16a50a003fbade1d25d184ae9f4dbf3bda;hpb=e1dbbc5edc07f65706eeb1dda9f4c9bcdee9d3a5;p=jalview.git

diff --git a/src/jalview/bin/Jalview.java b/src/jalview/bin/Jalview.java
index cdd8cc1..08b4a1b 100755
--- 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"); 
-  	}	
+    }  
 
   }