3.9.0 javadoc
diff --git a/docs/javadoc/index.html b/docs/javadoc/index.html
index c65abdd..9a5b3ae 100644
--- a/docs/javadoc/index.html
+++ b/docs/javadoc/index.html
@@ -2,8 +2,8 @@
<!-- NewPage -->
<html lang="en">
<head>
-<!-- Generated by javadoc (1.8.0_102) on Thu Nov 16 14:43:46 GMT 2017 -->
-<title>library 3.8.0 API</title>
+<!-- Generated by javadoc (1.8.0_102) on Sat Dec 02 08:42:26 GMT 2017 -->
+<title>library 3.9.0 API</title>
<script type="text/javascript">
targetPage = "" + window.location.search;
if (targetPage != "" && targetPage != "undefined")