google-android-platform-17-installer: package-contains-empty-directory usr/share/doc/google-android-platform-17/
