A simple use of the Robolectric unit testing framework