anchor.diff:  
   var vis;
   
  -root.myid = ${myid};
  +root.myid = ${myid};	// node id, could be jobid, cellid, fileid
   root.type = "${type}";
   root.jid = -1;
  -root.pid = -1;
  +root.pid = -1;	// parent id, root.pid is -1
   
   var seen = [];
   var rootstr = JSON.stringify(root, function (key, val) {
  
positive.code: 
  	// store the parent's id in everynode
  	nodes.forEach(function (d) {
  		if (d != root)
  			d.pid = d.parent.myid;
  		else
  			d.pid = -1;
  	});
  }
  
  
negative.code: 	return val;
  });
  
  var activeNode = null;
  //{
  //	myid: null,
  //	type: null,
  //	pid: null
  //};
  
  Ext.require([
  	'Ext.layout.container.*',
  