anchor.diff:      	})
       	.jstree({
       	"core" : {
  +        html_titles: true
       			//"load_open" : true
       	},
       	"ui" :{
  
positive.code: 						} else {
  							if (n.data) {
  								// this is the root
  								n.data = "<%=EncodeHelper.javaStringToJsString(componentLabel)%>";
  								if (n.attr['nbItems']) {
  									n.data = n.data + " ("+n.attr['nbItems']+")";
  								}
  
negative.code: 				child.attr['class'] = child.attr['status'];
  			<% } %>
  			if (child.attr['nbItems']) {
  				child.data = child.data + " ( "+child.attr['nbItems']+")";
  				spreadNbItems(child.children);
  			}
  		}
  