raf = new RandomAccessFile(file, "r");
final Dictionary dict = new Dictionary(raf);
final DictionaryInfo dictionaryInfo = dict.getDictionaryInfo();
+ dictionaryInfo.uncompressedFilename = file.getName();
+ dictionaryInfo.uncompressedSize = file.length();
raf.close();
return dictionaryInfo;
} catch (IOException e) {