*/
public static void main(String[] args) throws IOException {
//doUnzip("/tmp/1.zip", "/tmp/unz");
$("/tmp/uunz").file().delete();
CoreZipInputStream zipstream = $("/tmp/torate.zip").file().input().zipstream();
// zipstream.dir().print();
System.out.println(zipstream.get("experiment.9.pageThailand.1282134351569.1282134351928.png"));
System.out.println(zipstream.get("experiment.8.pageHonigbiene.1282131517351.1282131517788.png"));
/*
* experiment.9.pageThailand.1282134341053.1282134341397.png
experiment.9.pageThailand.1282134345022.1282134345444.png
experiment.9.pageThailand.1282134351569.1282134351928.png