}
}
}
+
+ /*
+ * include 'other' characters recorded (even if count is zero
+ * though that would be a strange use case)
+ */
if (otherData != null)
{
size += otherData.size();
*/
public SymbolCounts getSymbolCounts()
{
- char[] symbols = new char[size()];
- int[] values = new int[size()];
+ int size = size();
+ char[] symbols = new char[size];
+ int[] values = new int[size];
int j = 0;
if (useIntCounts)