<!-- Generated by SmallEiffel short html style hooks -->
<html>
<head>
<title>Eiffel class THISCLASS</title>
</head>
<body>
<pre>
