Added copyright header to randomnumbers example. Resolved comments from shim code review, round 1.