You can buy this project and download/modify it how often you want.
package de.malkusch.telgrambot; public record MessageId(int id) { }