diff -r 2e41937c9cab -r 6538fccf77a8 make/data/docs-resources/index.html
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/make/data/docs-resources/index.html Wed Dec 12 18:59:23 2018 +0100
@@ -0,0 +1,33 @@
+
+
+
+
+
+Java API Documentation redirect
+
+
+
+