Library lib = module .getVisibleLibraryWithNamespace( libReference .getLibraryNamespace( ) );
Library lib = module.getLibraryWithNamespace( libReference .getLibraryNamespace( ), IModuleNameSpace.ONE_LEVEL );
	public Object getProperty( Module module, PropertyDefn propDefn )	{		assert propDefn != null;		// return local value first		Object value = getLocalProperty( module, propDefn );		if ( value != null )			return value;		// first, read property values in local ; second, check the library		// reference and load the property values from it; third, read default		// in ROM		if ( libReference != null && module != null )		{			ReferencableStructure refStruct = libReference.getTargetStructure( );			if ( refStruct != null )			{				Library lib = module						.getVisibleLibraryWithNamespace( libReference								.getLibraryNamespace( ) );				Module root = lib == null ? module : lib;				value = refStruct.getProperty( root, propDefn );				if ( value != null )					return value;			}		}		if ( value == null )			return propDefn.getDefault( );		return value;	}