EmployeeDirectory.Android: Cannot cast from source to destination type

I have just pulled the EmployeeDirectory app, and when I run the Android app, after logging in, an exception is thrown in the PeopleGroupsAdapter.cs (A System.InvalidCastException was thrown. Cannot cast from source type to destination type.)

Someone else has had this problem see here

http://forums.xamarin.com/discussion/9492/what-is-wrong-with-this-code

and here

http://stackoverflow.com/questions/21587387/cannot-cast-from-source-type-to-destination-type

[jmillerdev]

I recently revisited this, and running this on at least API 14 on an Intel emulator it worked (I didn't try anything older). I don't know why that makes a difference. I did get this occasionally on API 18 (I think) using an ARM based emulator.

Update: Tested on API 16 using Intel Emulator, and it works fine out of the box.

[therealjohn]

This crashes on API 19.

Workaround:

var array = sections.Select(s => new Java.Lang.String(s)).ToArray();
return (Java.Lang.Object [])array;