Forgotten patch - portability with java 1.4.

diff --git a/org.glite.jobid.api-java/src/org/glite/jobid/CheckedString.java b/org.glite.jobid.api-java/src/org/glite/jobid/CheckedString.java
index e2fa489..df4755c 100644 (file)
--- a/org.glite.jobid.api-java/src/org/glite/jobid/CheckedString.java
+++ b/org.glite.jobid.api-java/src/org/glite/jobid/CheckedString.java
@@ -52,7 +52,6 @@ public class CheckedString {
      * 
      * @return converted string
      */
-    @Override
     public String toString() {
         return checkedString;
     }

diff --git a/org.glite.jobid.api-java/src/org/glite/jobid/Jobid.java b/org.glite.jobid.api-java/src/org/glite/jobid/Jobid.java
index fb9a8dd..9343068 100644 (file)
--- a/org.glite.jobid.api-java/src/org/glite/jobid/Jobid.java
+++ b/org.glite.jobid.api-java/src/org/glite/jobid/Jobid.java
@@ -137,7 +137,7 @@ public class Jobid {
         String uniqueS = jobidString.substring(dashAfterPort+1, jobidString.length());
         
         this.bkserver = bkserverS;
-        this.port = portS;
+        this.port = portS.intValue();
         this.unique = (new CheckedString(uniqueS)).toString();
     }
 
@@ -219,7 +219,6 @@ public class Jobid {
      * 
      * @return Jobid string representation in format bkserver:port/unique
      */
-    @Override
     public String toString() {
         return bkserver + ":" + port + "/" + unique;
     }