} catch (ZipException e) { throw new ZipException("Error opening " + file); }
	public ZipFileCodeBase(ICodeBaseLocator codeBaseLocator, File file) throws IOException {		super(codeBaseLocator);		this.zipFile = new ZipFile(file);		setLastModifiedTime(file.lastModified());	}