[wwwdocs] move a link to https in java/done.html

[Gerald Pfeifer]

Applied.

Gerald

2015-06-27  Gerald Pfeifer  <gerald@pfeifer.com>

	* done.html: www.pdflabs.com now uses https.

Index: done.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/java/done.html,v
retrieving revision 1.53
diff -u -r1.53 done.html
--- done.html	31 Mar 2013 15:06:15 -0000	1.53
+++ done.html	27 Jun 2015 21:50:47 -0000
@@ -229,7 +229,7 @@
 
       <!-- pdftk -->
       <tr valign="top">
-        <td><b><a href="http://www.pdflabs.com/tools/pdftk-the-pdf-toolkit/">pdftk</a></b></td>
+        <td><b><a href="https://www.pdflabs.com/tools/pdftk-the-pdf-toolkit/">pdftk</a></b></td>
 
 	<td><p>If PDF is electronic paper, then pdftk is an electronic
 	  staple-remover, hole-punch, binder, secret-decoder-ring, and