public Enumeration getEntryPaths(String path) {
public synchronized Enumeration getEntryPaths(String path) {
	public Enumeration getEntryPaths(String path) {		if (!checkedOpen())			return null;		if (path == null)			throw new NullPointerException();		if (path.length() > 0 && path.charAt(0) == '/')			path = path.substring(1);		if (path.length() > 0 && path.charAt(path.length() - 1) != '/')			path = new StringBuffer(path).append("/").toString(); //$NON-NLS-1$		Vector vEntries = new Vector();		Enumeration entries = zipFile.entries();		while (entries.hasMoreElements()) {			ZipEntry zipEntry = (ZipEntry) entries.nextElement();			String entryPath = zipEntry.getName();			if (entryPath.startsWith(path)) {				if (path.length() < entryPath.length()) {					if (entryPath.lastIndexOf('/') < path.length()) {						vEntries.add(entryPath);					} else {						entryPath = entryPath.substring(path.length());						int slash = entryPath.indexOf('/');						entryPath = path + entryPath.substring(0, slash + 1);						if (!vEntries.contains(entryPath))							vEntries.add(entryPath);					}				}			}		}		return vEntries.size() == 0 ? null : vEntries.elements();	}