--- old/make/data/docs-resources/index.html 2019-07-18 01:26:19.397002791 +0200 +++ /dev/null 2019-04-27 15:49:57.376009302 +0200 @@ -1,33 +0,0 @@ - - - - - -Java API Documentation redirect - - - -