public Theme getTheme( Module module )
public Theme getTheme( )
	public Theme getTheme( Module module )	{		if ( theme == null )			return null;		if ( theme.isResolved( ) )			return (Theme) theme.getElement( );		IModuleNameSpace resolver = module				.getModuleNameSpace( Module.THEME_NAME_SPACE );		ElementRefValue refValue = resolver.resolve( ReferenceValueUtil				.needTheNamespacePrefix( theme, this ), null );		Theme target = null;		if ( refValue.isResolved( ) )		{			target = (Theme) refValue.getElement( );			theme.resolve( target );			target.addClient( this, THEME_PROP );		}		return target;	}