BufferedReader r = new BufferedReader(new FileReader("tuning\\dict\\ENGLISH.MED"));
Vector v = new Vector(500000);
String line;
while( (line = r.readLine()) != null)
{
v.addElement(line);
}
r.close();
DICT = new String[v.size()];
for (int i = 0; i < DICT.length; i++)
DICT[i] = (String) v.elementAt(i);
RAND_DICT = new String[v.size()];
Random rand = new Random(SEED);
int idx;
for (int i = DICT.length-1; i >= 0 ; i--)
{
idx = (int) ((Math.abs(rand.nextInt()) * (long) i)/Integer.MAX_VALUE);
RAND_DICT[i] = (String) v.elementAt(idx);
v.setElementAt(v.elementAt(i), idx);
v.setElementAt(null, i);
}
v = null;
r = null;
line = null;
rand = null;
if (garbageCollect)
System.gc();
