We found a couple of unclosed {{JarInputStream}}s while looking at this. Closing them does not seem to fix the leak, but seems like it should be done anyway, so here is the patch for that.