$tmp_buff .= $_;
$tmp_buff .= ' <li><a href="install.html"><span>Install SimGrid-Java</span></a></li>'."\n";
$tmp_buff .= ' <li><a href="javadoc/index.html"><span>Javadoc</span></a></li>'."\n";
$tmp_buff .= $_;
$tmp_buff .= ' <li><a href="install.html"><span>Install SimGrid-Java</span></a></li>'."\n";
$tmp_buff .= ' <li><a href="javadoc/index.html"><span>Javadoc</span></a></li>'."\n";