GNATColl.JSON is £#¤%& wierd.  Attempting to figure out how to work around a bug in GNAT-4.6.