*/
    public CharMappingFile(final String id, final String path, final Date timestamp) {
        super(id, path, timestamp);
    }

    /**
     * Returns the type identifier for this dictionary file.
     *
     * @return the string "mapping" identifying this as a character mapping file
     */
    @Override
    public String getType() {
        return MAPPING;
    }

    /**

                                    if (pair.size() == 2 && pair.get(0) instanceof String name
                                            && pair.get(1) instanceof List<?> valueList) {
                                        final String[] values =
                                                valueList.stream().filter(v -> v instanceof String).toArray(n -> new String[n]);