fix rand null pointer
Merge branch 'master' of https://github.com/rss-2014-team-6/rss-team-6-state-machine
Merge branch 'master' of https://github.com/rss-2014-team-6/rss-team-6-state-machine