private String concat(String[] s) {
                StringBuffer buf = new StringBuffer(s[0]);
                for (int i = 1; i < s.length; i++) {
                        buf.append(" ");
                        buf.append(s[i]);
                }
                return buf.toString();
        }