用于流式数据统计的Java库。