code: private static List<String> toIdentifiers( JsonArray array)
      {
      return
        IntStream.range( 0, array.size())
        .mapToObj( i -> validIdentifier( array.getString( i)))
        .collect( toList());
      }
docs: Returns the contents of the given JSON array as a list of identifiers.