am 9c403d85: am 43d0e675: am 7e168ad0: am 6cbef4bd: am 03af0c42: Merge "Ensure that RandomAccessFile is not leaked." into lmp-dev

* commit '9c403d8513db5790364e9f5fafca5c6cf896d369':
  Ensure that RandomAccessFile is not leaked.