I decided it differently. In the manifest, I:
<uses-sdk android:minSdkVersion="9" android:targetSdkVersion="19" />
The problem was that after installing the new Eclipse ADT in the "Android SDK Manager", I did not have ANY SDK platform installed. So I installed the API 19K platform and the documentation and sources of API 19. I would also install API 9, but for some reason it is not in the SDK Manager.
In any case, after that I edited the android: minSdkVersion = "10" → [save] → changed to android again: minSdkVersion = "9" → [save] ... And the problem disappeared.
Bartoszk
source share