<s>[INST] saves the current content into the given output stream . concode_field_sep SessionInfoStore sessionInfos concode_elem_sep ExecutionDataStore executionData concode_field_sep void load concode_elem_sep void load concode_elem_sep SessionInfoStore getSessionInfoStore concode_elem_sep ExecutionDataStore getExecutionDataStore [/INST] void function ( final OutputStream arg0 ) { final ExecutionDataWriter loc0 = new ExecutionDataWriter ( arg0 ) ; sessionInfos . accept ( loc0 ) ; executionData . accept ( loc0 ) ; </s>