为什么在使用FFmpegFrameRecorder的flush函数时程序会报告错误？

Question

我是javacv的初学者，当我使用FFmpegFrameRecorder的flush函数时，我的程序报告错误。 这是我的代码

    case RecordStop =>
            recorder.flush()
            recorder.stop()
            println("hhh record stop")
            Behaviors.same

以下是一些错误消息：

    [ERROR] [flv @ 0x7f22d000f6c0] Failed to update header with correct duration.
backend[ERROR] [flv @ 0x7f22d000f6c0] Failed to update header with correct filesize.
backend #
backend # A fatal error has been detected by the Java Runtime Environment:
backend #
backend #  SIGSEGV (0xb) at pc=0x00007f2419dfe680, pid=23642, tid=0x00007f20feded700
backend #
backend # JRE version: Java(TM) SE Runtime Environment (8.0_201-b09) (build 1.8.0_201-b09)
backend # Java VM: Java HotSpot(TM) 64-Bit Server VM (25.201-b09 mixed mode linux-amd64 compressed oops)
backend # Problematic frame:
backend # C  [libavformat.so.58+0xc6680]
backend #
backend # Failed to write core dump. Core dumps have been disabled. To enable core dumping, try "ulimit -c unlimited" before starting Java again
backend #
backend # An error report file with more information is saved as:
backend # /home/sk68/workspace/pencil/backend/hs_err_pid23642.log
backend #
backend # If you would like to submit a bug report, please visit:
backend #   http://bugreport.java.com/bugreport/crash.jsp
backend # The crash happened outside the Java Virtual Machine in native code.
backend # See problematic frame for where to report the bug.
"