The implementation seems to be identical to the modern version of the Fisher-Yates shuffle, as found again by Richard Durstenfeld and published by Donald Knuth.