class KL_ANY General cluster: kernel description: "Make sure that we don't have name clashes with features from PLATFORM inherited from ANY in SE 1.2" Ancestors ANY
Generated by ISE EiffelStudio