private TableStatistics[] getStats(Table table) {
		TableStatistics[] stats = tableStats.get(table.getName());
		if (stats == null) {
			try {
				stats = table.getAllStatistics();
				for (int i = 2; i < stats.length; i++) {
					// combine index stats
					stats[1].bufferCount += stats[i].bufferCount;
					stats[1].chainedBufferCnt += stats[i].chainedBufferCnt;
					stats[1].interiorNodeCnt += stats[i].interiorNodeCnt;
					stats[1].recordNodeCnt += stats[i].recordNodeCnt;
					stats[1].size += stats[i].size;
				}
				tableStats.put(table.getName(), stats);
			}
			catch (IOException e) {
				Msg.error(this, "Exception loading stats", e);
			}
		}
		return stats;
	}
Get the statistics for the specified table.
@param table the table
@return arrays containing statistics. Element 0 provides statistics for primary table, 
element 1 provides combined statistics for all index tables.  Remaining array elements
should be ignored since they have been combined into element 1.
Ghidra/Features/DebugUtils/src/main/java/db/DbViewer.java