}
    }

    /**
     * Scans the first {@code size} elements of {@code entries} looking for duplicate keys. If
     * duplicates are found, a new correctly-sized array is returned with the same elements (up to
     * {@code size}), except containing only the last occurrence of each duplicate key. Otherwise
     * {@code null} is returned.
     */
    private static <K, V> Entry<K, V> @Nullable [] lastEntryForEachKey(

            @Override
            public String[] getRoles(LdapUser user, String baseDn, String accountFilter, String groupFilter, Consumer<String[]> callback) {
                // Return roles with duplicates
                String[] roles = new String[] { "role1", "role2", "role1", "Uuser", "role2" };
                callback.accept(roles);
                return roles;
            }

            @Override

   *
   * <p>Some algorithms that operate on a {@code PredecessorsFunction} may produce undesired results
   * if the returned {@link Iterable} contains duplicate elements. Implementations of such
   * algorithms should document their behavior in the presence of duplicates.
   *
   * <p>The elements of the returned {@code Iterable} must each be:
   *
   * <ul>
   *   <li>Non-null

   *
   * <p>Some algorithms that operate on a {@code SuccessorsFunction} may produce undesired results
   * if the returned {@link Iterable} contains duplicate elements. Implementations of such
   * algorithms should document their behavior in the presence of duplicates.
   *
   * <p>The elements of the returned {@code Iterable} must each be:
   *
   * <ul>
   *   <li>Non-null

     * Displays the form for duplicating an existing data store configuration.
     *
     * @param id the ID of the data config to duplicate
     * @return HTML response for the data config creation form pre-populated with duplicated values
     */
    @Execute
    @Secured({ ROLE })
    public HtmlResponse duplicate(final String id) {
        saveToken();
        return asEditHtml().useForm(CreateForm.class, op -> {

Then we can declare `tags` as a set of strings:

{* ../../docs_src/body_nested_models/tutorial003_py310.py hl[12] *}

With this, even if you receive a request with duplicate data, it will be converted to a set of unique items.

And whenever you output that data, even if the source had duplicates, it will be output as a set of unique items.

And it will be annotated / documented accordingly too.

## Nested Models { #nested-models }

     * Displays the form for duplicating an existing file crawler configuration.
     *
     * @param id the ID of the file config to duplicate
     * @return HTML response for the file config creation form pre-populated with duplicated values
     */
    @Execute
    @Secured({ ROLE })
    public HtmlResponse duplicate(final String id) {
        saveToken();

labels.pathmap_pt_both=Scansione/Visualizzazione
labels.pathmap_pt_stored=Conversione URL estratto
labels.regular_name=Nome regolare
labels.duplicate_name=Nome duplicato
labels.duplicate_host_configuration=Host duplicato
labels.duplicate_host_title_details=Host duplicato
labels.dashboard_title_configuration=Configurazione sistema
labels.dashboard_plugin=Plugin dashboard
labels.web_config_list=Elenco configurazioni web

     * Displays the form for duplicating an existing web crawler configuration.
     *
     * @param id the ID of the web config to duplicate
     * @return HTML response for the web config creation form pre-populated with duplicated values
     */
    @Execute
    @Secured({ ROLE })
    public HtmlResponse duplicate(final String id) {
        saveToken();
        return asEditHtml().useForm(CreateForm.class, op -> {

    <!-- These packages are duplicated in ide-native from ide, don't require a package-info.java in each place -->
    <suppress checks="JavadocPackage"
              files=".*[/\\]ide-native[/\\]src[/\\]main[/\\]java[/\\]org[/\\]gradle[/\\]plugins[/\\]ide[/\\]api[/\\][^/\\]+"/>

    <!-- These packages are duplicated in platform-native from language-native, don't require a package-info.java in each place -->