.getPathName(EnvironmentPathUtils.getLocalPath(fragment
.getPath()));
if (name != null) {
return name;
}
return fragment.toStringWithAncestors();
}
// https://bugs.eclipse.org/bugs/show_bug.cgi?id=295256
if (element instanceof IProjectFragment) {
IProjectFragment fragment = (IProjectFragment) element;
return fragment.getElementName();