/** Gets the name part of the path. */\r
public String getName() {\r
int lastSep = getAsUniqueString().lastIndexOf(separator);\r
- return getAsUniqueString().substring(lastSep+1);\r
+ return getAsUniqueString().substring(lastSep + 1);\r
}\r
\r
/** Create a path without parent. */\r