text: public String toString(){StringBuilder buffer = new StringBuilder(40 * (path.length() + 1));for (int j = 0; j < path.length(); j++){buffer.append(path.getComponent(j)).append("/");}buffer.append(name);return buffer.toString();}