if (DEBUG) { System.out.println("JarURLConnectionSourceRepository entries"); for(Enumeration<? extends ZipEntry> e = zipFile.entries(); e.hasMoreElements(); ) { ZipEntry ze = e.nextElement(); System.out.println(ze.getName()); } }
		public JarURLConnectionSourceRepository(String url) throws MalformedURLException, IOException {			super(((JarURLConnection) new URL("jar:" + url +"!/").openConnection()).getJarFile());		}