private void fillZipEntries(int nr) {
		Enumeration zipEnum = zips[nr].entries();
		zipEntries[nr] = new Hashtable();
		while (zipEnum.hasMoreElements()) {
			ZipEntry ze = (ZipEntry) zipEnum.nextElement();
			String name = ze.getName();
			// if (name.charAt(0) == '/')
			// name = name.substring(1);
			if (zipDirs[nr] != null) {
				if (!name.startsWith(zipDirs[nr]))
					continue;
				name = name.substring(zipDirs[nr].length());
			}
			if (!ze.isDirectory() && name.endsWith(".class"))
				addEntry(zipEntries[nr], name);
		}
	}