Bug fix: for ArrayUtils.sortedRemoveDuplicates()
Bug fix: for ArrayUtils.sortedRemoveDuplicates()

This function was not removing all duplicates.  In fact, it was removing
at most one duplicate due to an erroneous break statement.  This is now
corrected.

Whiley/WhileyCompilerCollection