String () { StringBuilder b = new StringBuilder(length() + nameIds.length - 1); for (int n = 0; n < nameIds.length; n++) { if (n > 0 || !SystemInfo.isWindows) { b.append('/'); } int nameId = nameIds[n]; CharSequence name = nameByNameId(nameId); b.append(name); } return b.toString(); }