minecraft java edition - How did they show Worldedit brush NBT tags in ...