formatting

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

diff --git a/src/jalview/gui/WsPreferences.java b/src/jalview/gui/WsPreferences.java
index 7104fa9..cffb1d8 100644 (file)
--- a/src/jalview/gui/WsPreferences.java
+++ b/src/jalview/gui/WsPreferences.java
@@ -42,7 +42,6 @@ import javax.swing.table.TableCellRenderer;
 public class WsPreferences extends GWsPreferences
 {
 
-
   public WsPreferences()
   {
     super();
@@ -110,73 +109,81 @@ public class WsPreferences extends GWsPreferences
 
   };
 
-  private void updateList() {
+  private void updateList()
+  {
     Object tdat[][] = new Object[wsUrls.size()][2];
-    int r=0;
+    int r = 0;
     for (String url : wsUrls)
     {
       int status = Jws2Discoverer.getDiscoverer().getServerStatusFor(url);
-      tdat[r][1]=new Integer(status);
-      tdat[r++][0]=url;
+      tdat[r][1] = new Integer(status);
+      tdat[r++][0] = url;
     }
-    
+
     wsList.setModel(new WsUrlTableModel(tdat));
     wsList.getColumn("Status").setMinWidth(10);
   }
-  private class JabaWSStatusRenderer extends JPanel implements TableCellRenderer
+
+  private class JabaWSStatusRenderer extends JPanel implements
+          TableCellRenderer
   {
     public JabaWSStatusRenderer()
     {
       setOpaque(true);
-      setMinimumSize(new Dimension(10,10));
-//      setText(" ");
-      
+      setMinimumSize(new Dimension(10, 10));
+      // setText(" ");
+
     }
+
     /**
      * render an Integer reflecting service status as a colour and symbol
      */
 
     @Override
     public Component getTableCellRendererComponent(JTable arg0,
-            Object status, boolean isSelected, boolean hasFocus, int row, int column)
+            Object status, boolean isSelected, boolean hasFocus, int row,
+            int column)
     {
       Color c;
-      String t=new String("");
+      String t = new String("");
       switch (((Integer) status).intValue())
       {
       case 1:
-//        cb.setSelected(true);
-        //cb.setBackground(
-        c=Color.green;
+        // cb.setSelected(true);
+        // cb.setBackground(
+        c = Color.green;
         break;
       case 0:
-//        cb.setSelected(true);
-//        cb.setBackground(
-        c=Color.lightGray;
+        // cb.setSelected(true);
+        // cb.setBackground(
+        c = Color.lightGray;
         break;
       case -1:
-        //cb.setSelected(false);
-        //cb.setBackground(
-        c=Color.red;
+        // cb.setSelected(false);
+        // cb.setBackground(
+        c = Color.red;
         break;
       default:
-        //cb.setSelected(false);
-        //cb.setBackground(
-        c=Color.orange;
+        // cb.setSelected(false);
+        // cb.setBackground(
+        c = Color.orange;
       }
       setBackground(c);
-      //setText(t);
+      // setText(t);
       return this;
-      
+
     }
 
   }
-  private class WsUrlTableModel extends AbstractTableModel {
-    
+
+  private class WsUrlTableModel extends AbstractTableModel
+  {
+
     private Object[][] data;
+
     public WsUrlTableModel(Object[][] tdat)
     {
-      this.data=tdat;
+      this.data = tdat;
     }
 
     @Override
@@ -184,35 +191,41 @@ public class WsPreferences extends GWsPreferences
     {
       return 2;
     }
+
     @Override
     public String getColumnName(int column)
     {
-      if (column==1)
+      if (column == 1)
       {
         return "Status";
       }
       return "Service URL";
     }
+
     @Override
     public int getRowCount()
     {
-      if (data==null)
+      if (data == null)
       {
         return 0;
       }
       return data.length;
     }
+
     @Override
-    public java.lang.Class<?> getColumnClass(int columnIndex) {
+    public java.lang.Class<?> getColumnClass(int columnIndex)
+    {
       return getValueAt(0, columnIndex).getClass();
     };
+
     @Override
     public Object getValueAt(int rowIndex, int columnIndex)
     {
       return data[rowIndex][columnIndex];
     }
-    
+
   }
+
   private void updateRsbsList()
   {
     sbrsList.setListData(rsbsUrls);
@@ -394,7 +407,7 @@ public class WsPreferences extends GWsPreferences
       wsUrls.setElementAt(wsUrls.elementAt(p), p + 1);
       wsUrls.setElementAt(t, p);
       updateList();
-      wsList.getSelectionModel().setSelectionInterval(p+1,p + 1);
+      wsList.getSelectionModel().setSelectionInterval(p + 1, p + 1);
       update++;
     }
   }
@@ -416,7 +429,7 @@ public class WsPreferences extends GWsPreferences
       wsUrls.setElementAt(wsUrls.elementAt(p), p - 1);
       wsUrls.setElementAt(t, p);
       updateList();
-      wsList.getSelectionModel().setSelectionInterval(p-1,p - 1);
+      wsList.getSelectionModel().setSelectionInterval(p - 1, p - 1);
       update++;
     }
   }