A performance benchmark for a few compression libraries in Java