[ref_impl_eiffel] [496] Fix a precondition failure the first time ADL Workbench is run, caused by setting the splitter above the status notebook to an out-of-range position.

Revision: 496
Author: peter.gummer

Log Message: