public LocalInfo findLocal(String name) {
		Enumeration enum_ = allLocals.elements();
		while (enum_.hasMoreElements()) {
			LocalInfo li = (LocalInfo) enum_.nextElement();
			if (li.getName().equals(name))
				return li;
		}
		return null;
	}