Dropped timestamps from javadoc for cleaner history
diff --git a/docs/javadoc/index.html b/docs/javadoc/index.html
index 9a5b3ae..d6722a1 100644
--- a/docs/javadoc/index.html
+++ b/docs/javadoc/index.html
@@ -2,7 +2,7 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_102) on Sat Dec 02 08:42:26 GMT 2017 -->
+<!-- Generated by javadoc -->
 <title>library 3.9.0 API</title>
 <script type="text/javascript">
     targetPage = "" + window.location.search;