Short json instead of hand-made parser
Short json format in java
More reliable empty bucket detection
Deserializes JSON summaries in java
Generate smaller summaries from large ones in java
Factor ibf size from level computation
Throw when trying to reduce an IBF to a larger size