diff --git a/libs/NOTICE.android-support-v4.txt b/libs/android-support-v4.jar.LICENSE
similarity index 100%
rename from libs/NOTICE.android-support-v4.txt
rename to libs/android-support-v4.jar.LICENSE
diff --git a/libs/README.android-support-v4.txt b/libs/android-support-v4.jar.README
similarity index 100%
rename from libs/README.android-support-v4.txt
rename to libs/android-support-v4.jar.README
diff --git a/libs/android-support-v4.jar.properties b/libs/android-support-v4.jar.properties
new file mode 100644
index 000000000..bc9c2009a
--- /dev/null
+++ b/libs/android-support-v4.jar.properties
@@ -0,0 +1,8 @@
+src=android-support-v4.jar
+doc=/opt/android-sdk/docs/reference
+# The String value of 'doc' is handed straight to `new java.io.File()` so it
+# is not possible to use variables.  Therefore, change "/opt/android-sdk" to
+# the path to your Android SDK, i.e. the value of $ANDROID_HOME or ${sdk.dir}
+#
+# Here's the relevant source:
+# https://android-review.googlesource.com/#/c/35702/3/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/project/LibraryClasspathContainerInitializer.java