I do see `pause-when-empty-seconds` [1] when looking at the wiki, which seems the closest, although I can't find doc on what "paused" means (this is the closest [2]). Looks like a fairly new feature (2024), but it's neat they've thought about it.
[0]: https://wiki.archlinux.org/title/Minecraft/Java_Edition_serv...
[1]: https://minecraft.wiki/w/Server.properties
[2]: https://www.reddit.com/r/admincraft/comments/1k330eg/what_ha...
That's unlikely for two reasons, first because minecraft is closed source, and second because arch packages usually follow upstream very closely.
[0]: https://aur.archlinux.org/cgit/aur.git/about/?h=minecraft-se...
[1]: https://github.com/Edenhofer/minecraft-server
[2]: https://github.com/Edenhofer/minecraft-server/blob/421ff0ff3...