You are just telling me that EiffelStudio was right to report a warning. I knew that. But I don't think that it makes any good to Eiffel if ISE releases libraries containing warnings. It can be fixed: just stop using features from obsolete classes (if it should really be obsolete), or mark this class as non-obsolete (if it should not be obsolete).