Simplication of Java's ZIP API