1 <!DOCTYPE HTML PUBLIC
"-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
5 <!-- Generated by javadoc (1.8.0_91) on Mon Jun 06 13:57:27 EDT 2016 -->
6 <title>Deprecated List
</title>
7 <meta name=
"date" content=
"2016-06-06">
8 <link rel=
"stylesheet" type=
"text/css" href=
"stylesheet.css" title=
"Style">
9 <script type=
"text/javascript" src=
"script.js"></script>
12 <script type=
"text/javascript"><!--
14 if (location.href.indexOf('is-external=true') == -1) {
15 parent.document.title="Deprecated List";
23 <div>JavaScript is disabled on your browser.
</div>
26 <h1 title=
"Deprecated API" class=
"title">Deprecated API
</h1>
27 <h2 title=
"Contents">Contents
</h2>