private void copyAs(final List<ExplorerNode> nodes,
                        final Function<ExplorerNode, String> extractor,
                        final String delimter) {
        final String value;
        if (nodes.isEmpty()) {
            value = "";
        } else if (nodes.size() == 1) {
            value = NullSafe.getOrElse(nodes.get(0), extractor, "");
        } else {
            value = nodes.stream()
                    .map(extractor)
                    .collect(Collectors.joining(delimter));
        }
        if (!NullSafe.isBlankString(value)) {
            ClipboardUtil.copy(value);
        }
    }
Highlights the supplied document item in the explorer tree.
stroom-core-client/src/main/java/stroom/document/client/DocumentPluginEventManager.java