JAL-3746 JAL-3811 document SHOW_JWS2_SERVICES user preference and provide new menu...

[jalview.git] / src / jalview / gui / Desktop.java

diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java
index 429a2c1..4f12de4 100644 (file)
--- a/src/jalview/gui/Desktop.java
+++ b/src/jalview/gui/Desktop.java
@@ -2205,7 +2205,8 @@ public class Desktop extends jalview.jbgui.GDesktop
   /**
    * start service discovery and wait till it is done
    */
-  public void startServiceDiscovery() {
+  public void startServiceDiscovery()
+  {
     startServiceDiscovery(false);
   }
 
@@ -2214,8 +2215,9 @@ public class Desktop extends jalview.jbgui.GDesktop
    * 
    * @param blocking
    */
-  public void startServiceDiscovery(boolean blocking) {
-    startServiceDiscovery(blocking, false);
+  public void startServiceDiscovery(boolean blocking)
+  {
+    startServiceDiscovery(blocking,false);
   }
 
   /**