this.propDefn = propDefn; this.struct = struct;
	EncryptedPropertyState( ModuleParserHandler theHandler,			DesignElement element, PropertyDefn propDefn, IStructure struct )	{		super( theHandler, element );		this.propDefn = propDefn;		this.struct = struct;	}