From b7d2ccfc00473457b8e27a5cae5057fc6cff78db Mon Sep 17 00:00:00 2001
From: Charles Ofoegbu <tcnofoegbu@dundee.ac.uk>
Date: Mon, 17 Nov 2014 11:37:08 +0000
Subject: [PATCH 1/1] updated documentation

---
 help/html/webServices/JABAWS.html  |    2 ++
 src/jalview/gui/WsPreferences.java |    2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/help/html/webServices/JABAWS.html b/help/html/webServices/JABAWS.html
index a27a0d5..8c964b4 100644
--- 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
--- 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);
-- 
1.7.10.2