anchor.diff:  		$('#scaffolds')
       	.jstree({
   			"plugins" : [ "checkbox", "search", "sort", "types" ],
  -			"themes" : { "icons": false }
  +			"core" : {
  +				"themes" : { "icons": false }
  +			}
   		})
   		
   		var sto = false;
  
positive.code: 		$('#proteins')
      	.jstree({
  			"plugins" : [ "checkbox", "search", "sort", "types" ],
  			"themes" : { "icons": false }
  		})
  		
  		var pto = false;
  
negative.code:     	$('#transcripts')
      	.jstree({
  			"plugins" : [ "checkbox", "search", "sort", "types" ],
  			"core" : {
  				"themes" : { "icons": false }
  			}
  		})
  		
  	    var tto = false;
  