Delete randGen.java~