void read() { CodedStreams.readFromFile(this, coding, file); }
void write() { CodedStreams.writeToFile(this, coding, file); }