Update of SmallEiffel port from version -0.77 to -0.76.
State Changed From-To: open->closed Committed, please generate diffs for future changes.