Delete PRNGFixes.java