@NullMarked
package net.minecraft.server.level.progress;

import org.jspecify.annotations.NullMarked;