Uses of Record Class
net.minecraft.server.dedicated.ServerPropertiesHandler.WorldGenProperties