public Identifier getIdentifier(String name) {
		if (loadOnDemand) {
			Identifier ident = loadClass(name);
			return ident;
		}
		int index = name.indexOf('.');
		if (index == -1)
			return (Identifier) loadedClasses.get(name);
		else {
			PackageIdentifier pack = (PackageIdentifier) loadedClasses.get(name
					.substring(0, index));
			if (pack != null)
				return pack.getIdentifier(name.substring(index + 1));
			else
				return null;
		}
	}