Fixing findbugs violations regarding the use of the Random class