with Corba.Repository_Root.Moduledef ; package Corba.Moduledef renames Corba.Repository_Root.Moduledef ;