$.expr[':'].jstree_contains = function(a,i,m){
            return (a.textContent || a.innerText || "").toLowerCase().indexOf(m[3].toLowerCase())>=0;
        };