-- Automatic generation produced by ISE Eiffel --

Cluster
     root_cluster

Classes
     DISKSPACE_DEMO

-- Generated by ISE Eiffel --

-- For more details: www.eiffel.com --