217218219220221222223224225226227
try { DataOutputStream out = new OutDataStreamFile(filename); out.writeInt(index.size()); for (String item : index) { out.writeUTF(item); if (learnClosedTags) { if(GlobalHolder.tagTokens.get(item).size() < closedTagThreshold) { markClosed(item); } }