You can always create a simple utility that converts the EDN syntax to JSON. That way you get the syntax you want with a trivial and correct automatic conversion.