return getNamespace(defaultMappings.getShort(prefix));
return getNamespace((short)defaultMappings.get(prefix));
	public synchronized String getDefaultNamespace(String prefix) {		if (defaultMappings.containsKey(prefix))			return getNamespace(defaultMappings.getShort(prefix));		return null;	}