Hi, On Monday, January 12, 2015, Carsten Ziegeler <[email protected] <javascript:_e(%7B%7D,'cvml','[email protected]');>> wrote:
> ...I fixed the sorting problem and reverted back to a plain set in rev 1651168 > Would be great if everyone could give this a try before I cut a new release... Works for me, thanks! All tests pass with Java 1.6, 1.7 and 1.8 > > -Bertrand
