X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fext%2Fvamsas%2FJpredServiceLocator.java;h=ae6bb9534a1da9ca0e4dc551ac8d87a3563fd193;hb=d0aee5b0b2cbd0805c3dec027c6f2d2ac0148e66;hp=46566b9e8cab0ad99c1ed4fcb41f9a55a2c66e2d;hpb=47168f025aefdaa044802bd5f8f510ffe43a4808;p=jalview.git

diff --git a/src/ext/vamsas/JpredServiceLocator.java b/src/ext/vamsas/JpredServiceLocator.java
index 46566b9..ae6bb95 100755
--- a/src/ext/vamsas/JpredServiceLocator.java
+++ b/src/ext/vamsas/JpredServiceLocator.java
@@ -1,6 +1,6 @@
 /*
- * Jalview - A Sequence Alignment Editor and Viewer (Version 2.8.2)
- * Copyright (C) 2014 The Jalview Authors
+ * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
+ * Copyright (C) $$Year-Rel$$ The Jalview Authors
  * 
  * This file is part of Jalview.
  * 
@@ -20,6 +20,8 @@
  */
 package ext.vamsas;
 
+import jalview.util.MessageManager;
+
 public class JpredServiceLocator extends org.apache.axis.client.Service
         implements ext.vamsas.JpredService
 {
@@ -107,10 +109,10 @@ public class JpredServiceLocator extends org.apache.axis.client.Service
     {
       throw new javax.xml.rpc.ServiceException(t);
     }
-    throw new javax.xml.rpc.ServiceException(
-            "There is no stub implementation for the interface:  "
-                    + (serviceEndpointInterface == null ? "null"
-                            : serviceEndpointInterface.getName()));
+    throw new javax.xml.rpc.ServiceException(MessageManager.formatMessage(
+            "exception.no_stub_implementation_for_interface", new String[]
+            { (serviceEndpointInterface == null ? "null"
+                    : serviceEndpointInterface.getName()) }));
   }
 
   /**
@@ -167,8 +169,10 @@ public class JpredServiceLocator extends org.apache.axis.client.Service
     }
     else
     { // Unknown Port Name
-      throw new javax.xml.rpc.ServiceException(
-              " Cannot set Endpoint Address for Unknown Port" + portName);
+      throw new javax.xml.rpc.ServiceException(MessageManager.formatMessage(
+              "exception.cannot_set_endpoint_address_unknown_port",
+              new String[]
+              { portName }));
     }
   }