changed to api-level 11, as mentioned by a-iv in #147
(api-level 9 is obsolete and not available in sdk-manager)