Java PRNGs written in Python