That's probably the only choice. They won't go back to WM10 after Lumia Fiasco. They won't develop another OS and won't even attempt. Jolla is too small and not ready yet as they are targeting to the mainstream. Android makes perfect sense.