class LEASED_COFFEE_MACHINE
inherit
   COFFEE_MACHINE
      export
	 {MANAGER,LEASEHOLDER} cash 
      end
end -- LEASED_COFFEE_MACHINE