public override string ToString() { return "PostingsFormat(name=" + Name + " doPackFST= " + doPackFST + ")"; }