Package com.sri.emo.dbobj.selectiontree