this.oldTheme = oldTheme;
if ( module.getTheme( ) != null ) oldTheme = module.getTheme(); else oldTheme = module.getThemeName( );  label = ModelMessages.getMessage( MessageConstants.SET_THEME_MESSAGE );
	ThemeRecord( ReportDesign module, Theme newTheme, Theme oldTheme )	{		this.module = module;		this.newTheme = newTheme;		this.oldTheme = oldTheme;	}