Fixing infinite loop in the oom2rm EiffelStore example.

When experimenting with EiffelStore example, I found this potential infinite loop.