Dropped timestamps from javadoc for cleaner history
diff --git a/docs/javadoc/overview-summary.html b/docs/javadoc/overview-summary.html
index 33bebcb..f6c7ffb 100644
--- a/docs/javadoc/overview-summary.html
+++ b/docs/javadoc/overview-summary.html
@@ -2,9 +2,8 @@
<!-- 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>Overview (library 3.9.0 API)</title>
-<meta name="date" content="2017-12-02">
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
<script type="text/javascript" src="script.js"></script>
</head>