<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title >BugDeprecated</title ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script ><script type="text/javascript" >//<![CDATA[ window.onload = function () {pageLoad();}; //]]> </script ></head ><body id="mini" ><div id="module-header" ><p class="caption" >BugDeprecated</p ></div ><div id="interface" ><div class="top" ><p class="src" ><a href="" target="main" >foo</a ></p ></div ><div class="top" ><p class="src" ><a href="" target="main" >bar</a ></p ></div ><div class="top" ><p class="src" ><a href="" target="main" >baz</a ></p ></div ><div class="top" ><p class="src" ><a href="" target="main" >one</a ></p ></div ><div class="top" ><p class="src" ><a href="" target="main" >two</a ></p ></div ><div class="top" ><p class="src" ><a href="" target="main" >three</a ></p ></div ></div ></body ></html >