<http://schema.org/headline>
"SDK tools and ADT up to version 17, now available via the SDK manager"^^<http://www.w3.org/2001/XMLSchema#string>
<http://www.androidcentral.com/sdk-tools-and-adt-version-17-now-available-sdk-installer>