return "Null model element - Check content provider";
if (element instanceof ToolComponent){
ToolComponent component = (ToolComponent)element;
return component.getLabelText(this.options);
} else if (element instanceof ToolCMember){
ToolCMember component = (ToolCMember)element;
return component.getName() + " : " + component.getType();
}
return element.toString();
}