public void write(DataOutput out) throws IOException {
RandomAccessFile raf = (RandomAccessFile)out;
if (dictFileVersion < 7) throw new RuntimeException("write function cannot write formats older than v7!");
public void write(DataOutput out) throws IOException {
RandomAccessFile raf = (RandomAccessFile)out;
if (dictFileVersion < 7) throw new RuntimeException("write function cannot write formats older than v7!");