Switched to java.util random implementation.

Done to fix problems with portability of BoardModel class between client
and server.