A repo that demonstrates a bug in robolectric