3.9.0 javadoc
diff --git a/docs/javadoc/deprecated-list.html b/docs/javadoc/deprecated-list.html
index a5d056a..315b45c 100644
--- a/docs/javadoc/deprecated-list.html
+++ b/docs/javadoc/deprecated-list.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>Deprecated List (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>Deprecated List (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="Deprecated List (library 3.8.0 API)";
+ parent.document.title="Deprecated List (library 3.9.0 API)";
}
}
catch(err) {
