Message10925

This looks good to me and regrtest runs as expected. I evicted a couple of hard tabs: the whole source file needs a reformat anyway.

It might be objected that the guarantee about the order of separate iterators on the same container, offered here:
https://docs.python.org/2/library/stdtypes.html#dict.items
is not required of all implementations of java.util.Map. But this objection can be made against the existing code, and strictly speaking, the promise is made for dict, and it's only "recommended" that other mappings behave the same as dict.