Replaced RandStream.setGlobalStream with RandStream.setDefaultStream. Perhaps other changes are necessary as well. Should check how this has changed in previous versions.