Fix missing class RandomMineField