949596979899100101102
if ( s!=null) { list.add(s); } } m_tree=new SymbolFinderTree( (String[])list.toArray( new String[list.size()])); } return m_tree; }