context: function initRDF(){    client.rdf = new RDFHelper();        client.rdf.initTree("user-list");    client.rdf.setTreeRoot("user-list", client.rdf.resNullChan);}
meta: 3298	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3298/703717eb72f3378c625c0fefe679e646d1c5b0ff/rdf.js/buggy/xul/content/rdf.js