@@ -141,10 +141,11 @@ } else if (s.equals(specTitle)) { check(r.readLine().equals(specVersion)); } else { fail("did not match specVersion nor specTitle"); } + zf.close(); } // --------------------- Convenience --------------------------- static File createTextFile(String name) throws Throwable {