Mirror of Eiffel JSON library