Use Robolectric 2.3