The Code

/**
	 * @ignore
	 */
	public function __get($key)
	{
		switch( $key ) {
		case 'module':
		case 'priority':
		case 'html':
			return $this->$key;
		}

throw new CmsInvalidDataException('Attempt to retrieve invalid property from
CmsAdminThemeNotification');
	}


	/**
	 * @ignore
	 */
	public function __set($key,$value)
	{
		switch( $key ) {
		case 'module':
		case 'priority':
		case 'html':
			$this->$key = $value;
			return;
		}

throw new CmsInvalidDataException('Attempt to set invalid property from
CmsAdminThemeNotification');
	}

should be something like that

/**
	 * @ignore
	 */
	public function __get($key)
	{
		switch( $key ) {
		case 'module':
		case 'priority':
		case 'html':
			$thevar='_'.$key;
			return $this->$thevar;
		}

throw new CmsInvalidDataException('Attempt to retrieve invalid property from
CmsAdminThemeNotification');
	}


	/**
	 * @ignore
	 */
	public function __set($key,$value)
	{
		switch( $key ) {
		case 'module':
		case 'priority':
		case 'html':
			$thevar='_'.$key;
			$this->$thevar = $value;
			return;
		}

throw new CmsInvalidDataException('Attempt to set invalid property from
CmsAdminThemeNotification');
	}