private static int random(int i) { // for JDK 1.1 compatibility int r = RANDOM.Next(); if (r < 0) r = - r; return r % i; }