docs: public void setDictionary(THashSet<String> newset) {
  		if(newset.size()==0)
  			return;
  		ArrayList<String> al = new ArrayList<String>();
  		MyCollection.TSet2List(newset, al);
  		Dictionary dict = new Dictionary();
  		dict.addSegDict(al);
  		setDictionary(dict);
  
  	}