Fix robolectric config so tests run with ant