/** miscellaneous string utilities */
public class StringUtil {
+
+ public static String join(String[] s, String sep) {
+ StringBuffer ret = new StringBuffer();
+ for(int i=0; i<s.length; i++) {
+ if (i>0) ret.append(sep);
+ ret.append(s[i]);
+ }
+ return ret.toString();
+ }
public static String toJavaString(String s) {
StringBuffer sb = new StringBuffer();
for(int i=0; i<s.length(); i++) {