docs: protected static String getPathLabel(IPath path, boolean isOSPath) {
  		String label;
  		if (isOSPath) {
  			label= path.toOSString();
  		} else {
  			label= path.makeRelative().toString();
  		}
  		return label;
  	}