Android: Api generator: cast default value to target type