String () { if (path.length == 1) { String name = path[0]; // handle the case of a Windows volume name return name.length() == 2 && name.endsWith(":")? name + "/" : name; } final StringBuilder buf = new StringBuilder(); for (CharSequence element : path) { if (!buf.isEmpty()) { buf.append("/"); } buf.append(element); } return buf.toString(); }