// Path: app/src/main/java/ultimategdbot/Strings.java
// public final class Strings {
// 
//     public static final String GENERAL = "GeneralStrings";
//     public static final String GD = "GDStrings";
// 
//     private Strings() {
//         throw new AssertionError();
//     }
// }
// 
// Path: app/src/main/java/ultimategdbot/database/GdLeaderboard.java
// @Value.Immutable
// @Criteria
// @Criteria.Repository(facets = { ReactorReadable.class, ReactorWritable.class })
// @JsonSerialize(as = ImmutableGdLeaderboard.class)
// @JsonDeserialize(as = ImmutableGdLeaderboard.class)
// public interface GdLeaderboard {
// 
//     @Criteria.Id
//     @JsonProperty("_id")
// 	long accountId();
// 	
// 	String name();
// 	
// 	int stars();
// 	
// 	int diamonds();
// 	
// 	int userCoins();
// 	
// 	int secretCoins();
// 	
// 	int demons();
// 	
// 	int creatorPoints();
// 	
// 	Instant lastRefreshed();
// }


import botrino.api.i18n.Translator;
import discord4j.core.object.entity.Guild;
import discord4j.core.spec.EmbedCreateSpec;
import reactor.util.annotation.Nullable;
import ultimategdbot.Strings;
import ultimategdbot.database.GdLeaderboard;
import java.util.List;
import java.util.Objects;
            var isHighlighted = entry.getStats().name().equalsIgnoreCase(highlighted);
            var rank = page * ENTRIES_PER_PAGE + i;
            if (isHighlighted) {
                sb.append("**");
            }
            var row = String.format("%s | %s %s | %s (%s)",
                    String.format("`#%" + rankWidth + "d`", rank).replaceAll(" ", " ‌‌"),
                    emoji,
                    GDFormatter.formatCode(entry.getValue(), statWidth),
                    entry.getStats().name(),
                    entry.getDiscordUser());
            if (row.length() > maxRowLength) {
                row = row.substring(0, maxRowLength - 3) + "...";
            }
            sb.append(row).append("\n");
            if (isHighlighted) {
                sb.append("**");
            }
        }
        embed.description("**" + tr.translate(Strings.GD, "lb_total_players", size, emoji) + "**\n\n" + sb);
        embed.addField("───────────", tr.translate(Strings.GD, "lb_account_notice"), false);
        if (maxPage > 0) {
            embed.addField(tr.translate(Strings.GENERAL, "page_x", page + 1, maxPage + 1),
                    tr.translate(Strings.GENERAL, "page_instructions"), false);
        }
        return embed.build();
    }

    public static class LeaderboardEntry implements Comparable<LeaderboardEntry> {
        private final int value;
// Path: app/src/main/java/ultimategdbot/Strings.java
// public final class Strings {
// 
//     public static final String GENERAL = "GeneralStrings";
//     public static final String GD = "GDStrings";
// 
//     private Strings() {
//         throw new AssertionError();
//     }
// }
// 
// Path: app/src/main/java/ultimategdbot/database/GdLeaderboard.java
// @Value.Immutable
// @Criteria
// @Criteria.Repository(facets = { ReactorReadable.class, ReactorWritable.class })
// @JsonSerialize(as = ImmutableGdLeaderboard.class)
// @JsonDeserialize(as = ImmutableGdLeaderboard.class)
// public interface GdLeaderboard {
// 
//     @Criteria.Id
//     @JsonProperty("_id")
// 	long accountId();
// 	
// 	String name();
// 	
// 	int stars();
// 	
// 	int diamonds();
// 	
// 	int userCoins();
// 	
// 	int secretCoins();
// 	
// 	int demons();
// 	
// 	int creatorPoints();
// 	
// 	Instant lastRefreshed();
// }


// Path: app/src/main/java/ultimategdbot/util/Leaderboards.java
import botrino.api.i18n.Translator;
import discord4j.core.object.entity.Guild;
import discord4j.core.spec.EmbedCreateSpec;
import reactor.util.annotation.Nullable;
import ultimategdbot.Strings;
import ultimategdbot.database.GdLeaderboard;
import java.util.List;
import java.util.Objects;

            var isHighlighted = entry.getStats().name().equalsIgnoreCase(highlighted);
            var rank = page * ENTRIES_PER_PAGE + i;
            if (isHighlighted) {
                sb.append("**");
            }
            var row = String.format("%s | %s %s | %s (%s)",
                    String.format("`#%" + rankWidth + "d`", rank).replaceAll(" ", " ‌‌"),
                    emoji,
                    GDFormatter.formatCode(entry.getValue(), statWidth),
                    entry.getStats().name(),
                    entry.getDiscordUser());
            if (row.length() > maxRowLength) {
                row = row.substring(0, maxRowLength - 3) + "...";
            }
            sb.append(row).append("\n");
            if (isHighlighted) {
                sb.append("**");
            }
        }
        embed.description("**" + tr.translate(Strings.GD, "lb_total_players", size, emoji) + "**\n\n" + sb);
        embed.addField("───────────", tr.translate(Strings.GD, "lb_account_notice"), false);
        if (maxPage > 0) {
            embed.addField(tr.translate(Strings.GENERAL, "page_x", page + 1, maxPage + 1),
                    tr.translate(Strings.GENERAL, "page_instructions"), false);
        }
        return embed.build();
    }

    public static class LeaderboardEntry implements Comparable<LeaderboardEntry> {
        private final int value;
        private final GdLeaderboard stats;