Added KAT-to-JSON converter.