Tools to brake some Java AS PRNGs