Android: Fix API generator