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

* commit '7e168ad04a4553c23bca1e9bd427ba6088493908':
  Ensure that RandomAccessFile is not leaked.