Contract annotations allow us to write contracts for methods such as:
"null -> true" (TextUtils.isEmpty()), this allows further lint warnings
on Android framework methods, which should be annotated, but aren't yet.
These should be written inline when possible, but we also include a
folder of annotations for our external libraries
Further instructions for external annotations are detailed in README.md
