updated documentation

diff --git a/help/html/webServices/JABAWS.html b/help/html/webServices/JABAWS.html
index a27a0d5..8c964b4 100644 (file)
--- a/help/html/webServices/JABAWS.html
+++ b/help/html/webServices/JABAWS.html
@@ -60,5 +60,7 @@ Your JABAWS servers list is stored in your Jalview preferences, so you
 will only have to configure Jalview once for each new server.</p>
 <p><em>Support for accessing JABAWS servers was introduced in
 Jalview 2.6.</em></p>
+<p><em>Option for adding JABAWS servers which fails validation 
+was introduced from version 2.8.2 </em></p>
 </body>
 </html>

diff --git a/src/jalview/gui/WsPreferences.java b/src/jalview/gui/WsPreferences.java
index de89241..0674352 100644 (file)
--- a/src/jalview/gui/WsPreferences.java
+++ b/src/jalview/gui/WsPreferences.java
@@ -498,7 +498,7 @@ public class WsPreferences extends GWsPreferences
                           Desktop.desktop,
                           "The Server  '"
                                   + foo.toString()
-                                  + "' failed validation, do you want to proceed and add it anyway? ",
+                                  + "' failed validation,\ndo you want to add it anyway? ",
                           "Server Validation Failed",
                           JOptionPane.YES_NO_OPTION,
                           JOptionPane.INFORMATION_MESSAGE, null, null, null);