Done. Still I have to make the random patch: instead of Math.random(), using the more efficient random.nextInt() , but I have to make some experiments, creating a global variable Random (i think static), and see random numbers generated, if they are really random, or at least not always the same ...
Bye
