Fixed Eiffel Bucketsort implementation to really apply bucketsort.