A simple integer compression library in Java