DataInputBuffer in = new DataInputBuffer(wholefile, 0);
dictFileVersion = in.readInt();
if (dictFileVersion < 0 || dictFileVersion > CURRENT_DICT_VERSION) {
DataInputBuffer in = new DataInputBuffer(wholefile, 0);
dictFileVersion = in.readInt();
if (dictFileVersion < 0 || dictFileVersion > CURRENT_DICT_VERSION) {