Then we have two formats again. Only a bit less different. There must be more possibilities to solve this for everyone.
Is there a way we can fix the order implicitly? Or can we assure that the map is always written into Json in the correct order? Maybe use a combination of Property and index as key?
There is not really a lot of possible or plausible implementations. But the real question is : is this worth the headeach ? Premature optimisation is the root of all evils.
As a user, I would prefer you to focus on problems that really have an impact than to whatever question of having only one serialisation format, which is really a stractch in the big picture.