... what?

throws FileNotFoundException ;)?

and that still doesn't guarantee the two numbers will be different (and if it does, that's a bad random number generator!).

In theory, it's...