316317318319320321322323
} ttt[0] = t(rate, t("[" + n.hitCount + "] " + toString(n.element))); tt.add(TextTree.t("", ttt)); } return new TextTree("", tt.toArray(new TextTree[tt.size()])); } }