Java Record Replay protocol

This section includes: