You can buy this project and download/modify it how often you want.
@NullMarked package net.jqwik.api.arbitraries; import org.jspecify.annotations.*;