Merge "Seandroid: Removing unused file"