Updated editor android project.properties to API 15