} catch (UnsupportedEncodingException uee) {
//logger.warn("Desired encoding ("+charset+") unsupported. Resorting to platform default.", uee);
this.br = new BufferedReader(new InputStreamReader(docStream));
}
this.properties = docProperties;
this._tags = new TagSet(TagSet.TREC_DOC_TAGS);
this._exact = new TagSet(TagSet.TREC_EXACT_DOC_TAGS);
this._fields = new TagSet(TagSet.FIELD_TAGS);
this.tokeniser = _tokeniser;
this.currentTokenStream = Tokeniser.EMPTY_STREAM;
for(int i=0;i<abstractCount;i++)
{
abstracts[i] = new StringBuilder(abstractlengths[i]);