public void write(Encoder encoder, CompilationState value) throws Exception { encoder.writeInt(SERIAL_VERSION); fileListSerializer.write(encoder, value.sourceInputs); stateMapSerializer.write(encoder, value.fileStates); }