JBTM-1009 Document requirements on implementors of save_state and restore_state