}
	public synchronized void mergeClass(String className) {		String filename = className.replace('.','/') + ".class";		Enumeration enum = getResources(filename);		while(enum.hasMoreElements()) {			URL url = (URL) enum.nextElement();			try {				ReadClassFile rcf = new ReadClassFile(url.openStream(), true);				supertypes.put(className, rcf.getSupertypes());				mergeBundles(rcf.getBundles());			} catch (IOException e) {				System.err.println("error while reading attributes from " + url);				e.printStackTrace(System.err);			} catch (ClassNotFoundException e) {				System.err.println("error while reading attributes from " + url);				e.printStackTrace(System.err);			}		}