3.9.0 javadoc
diff --git a/docs/javadoc/overview-summary.html b/docs/javadoc/overview-summary.html
index 7b9b1df..33bebcb 100644
--- a/docs/javadoc/overview-summary.html
+++ b/docs/javadoc/overview-summary.html
@@ -2,9 +2,9 @@
<!-- NewPage -->
<html lang="en">
<head>
-<!-- Generated by javadoc (1.8.0_102) on Thu Nov 16 14:43:46 GMT 2017 -->
-<title>Overview (library 3.8.0 API)</title>
-<meta name="date" content="2017-11-16">
+<!-- Generated by javadoc (1.8.0_102) on Sat Dec 02 08:42:26 GMT 2017 -->
+<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>
@@ -12,7 +12,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
- parent.document.title="Overview (library 3.8.0 API)";
+ parent.document.title="Overview (library 3.9.0 API)";
}
}
catch(err) {
@@ -69,7 +69,7 @@
</a></div>
<!-- ========= END OF TOP NAVBAR ========= -->
<div class="header">
-<h1 class="title">library 3.8.0 API</h1>
+<h1 class="title">library 3.9.0 API</h1>
</div>
<div class="contentContainer">
<table class="overviewSummary" border="0" cellpadding="3" cellspacing="0" summary="Packages table, listing packages, and an explanation">