101102103104105106107108109110111
if (key.isString()) key = key.toUnicodeValue(env); if (value.isString()) value = value.toUnicodeValue(env); copy.put(key, value); } return new ConstArrayValue(copy);
102103104105106107108109110111112