am 03af0c42: Merge "Ensure that RandomAccessFile is not leaked." into lmp-dev

* commit '03af0c42d80734c44198b96a99488bb94816ae97':
  Ensure that RandomAccessFile is not leaked.