JRET: A tool for the reconstruction of sequence diagrams from program executions