I just happened to have a look at the ResourceBench source code.

IMHO this item ought to be retired and removed from the Eiffel Distribution, including its documentation at various places.
_________________
R.