--| Created by Eiffel Studio Testing Tool.