jre: use compression