Dice Straight solutions

Dice Straight was solved using Java by 4 contestants. Solution sizes: average 9680 bytes (shortest: 5261; longest: 25356).