Migrated RandomAccessFile to FileInputStream