Changes to JSON Editor to get radio buttons working properly with bootstrap3.