Fix crash in Android UI generator.