public float getNumTokens(String fieldName) { if (stats == null) { initialStats(); } return stats.getNumTokens(fieldName); }