1 files changed, 10 insertions, 4 deletions
diff --git a/nailgun_launcher/Stage0Lib.java b/nailgun_launcher/Stage0Lib.java
index 0880bbd..6057c21 100644
--- a/nailgun_launcher/Stage0Lib.java
+++ b/nailgun_launcher/Stage0Lib.java
@@ -45,7 +45,7 @@ public class Stage0Lib{
 
   public static String classpath( String... files ){
     Arrays.sort(files);
-    return join( pathSeparator, files );
+    return mkString( pathSeparator, files );
   }
 
   public static long lastModified( String... files ){
@@ -216,10 +216,10 @@ public class Stage0Lib{
     return (new HexBinaryAdapter()).marshal(sha1.digest()).toLowerCase();
   }
 
-  public static String join(String separator, String[] parts){
-    String result = parts[0];
+  public static String mkString(String separator, Object[] parts){
+    String result = parts[0].toString();
     for(int i = 1; i < parts.length; i++){
-      result += separator + parts[i];
+      result += separator + parts[i].toString();
     }
     return result;
   }
@@ -229,4 +229,10 @@ public class Stage0Lib{
     copy[array.length] = item;
     return copy;
   }
+
+  public static String[] concat( String[] left, String[] right ){
+    String[] result = Arrays.copyOf(left, left.length + right.length);
+    System.arraycopy(right, 0, result, left.length, right.length);
+    return result;
+  }
 }