Ausschnitt: Java Debug Recorder