public static final class IndexInfo implements Serializable {
private static final long serialVersionUID = 6524751236198309438L;
public static final class IndexInfo implements Serializable {
private static final long serialVersionUID = 6524751236198309438L;
public final int mainTokenCount;
public IndexInfo(String shortName, int allTokenCount, int mainTokenCount) {
public final int mainTokenCount;
public IndexInfo(String shortName, int allTokenCount, int mainTokenCount) {
result.append(shortName);
result.append("\t").append(allTokenCount);
result.append("\t").append(mainTokenCount);
result.append(shortName);
result.append("\t").append(allTokenCount);
result.append("\t").append(mainTokenCount);