Update JSON spec for 3.16.1-8-ev3dev