/** Gets the name part of the path. */\r
public String getName() {\r
int lastSep = getAsUniqueString().lastIndexOf(separator);\r
/** Gets the name part of the path. */\r
public String getName() {\r
int lastSep = getAsUniqueString().lastIndexOf(separator);\r