Fixing infinite loop in the oom2rm EiffelStore example.