public final void clear_search_tree_entries(){
  awtree_leaves.clear();
}

public final void clear_search_tree_entries ( ) { awtree_leaves . clear ( ) ; }
sets the search tree entries of this item to empty
