i think it would be great for them to learn programming.
i think if i try to push them to learn programming, they will lose interest because i will be turning their 'fun' into 'work'. it is better for them to go at their own pace where their interests take them. if they ask for my help (they both know i could teach them programming), i'd be delighted to help them.
and minecraft is really fantastic. from the base game, to advance features like command blocks, to the ecosystem of plug ins and online multiplayer adaptations. really an impressive creation.