Updates to JSONConverter and fixes to JSONSpec.