Deleting the extra Android API 19 platform