AndroidTargets: Make lint happy