+ if (element instanceof SingleResultNode) {
+ Node node = ((SingleResultNode) element).getNode();
+ try {
+ if (node.isNodeType(NodeType.MIX_TITLE))
+ return node.getProperty(Property.JCR_TITLE).getString();
+ } catch (RepositoryException e) {
+ throw new SlcException("Unexpected error while getting "
+ + "custom result label", e);
+ }
+ }