[wwwdocs,Java] Use https for redhat.com.

[Gerald Pfeifer]

Like some other domains, redhat.com now defaults to http, so this
adjusts the link.

Gerald

2012-11-01  Gerald Pfeifer  <gerald@pfeifer.com>
 
	* news.html: Use https for redhat.com.

Index: news.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/java/news.html,v
retrieving revision 1.13
diff -u -3 -p -r1.13 news.html
--- news.html	21 Oct 2012 02:03:33 -0000	1.13
+++ news.html	1 Nov 2012 22:25:46 -0000
@@ -26,7 +26,7 @@ notes</a>) into GCJ.</dd>
 
 <dt>October 12, 2005</dt>
 <dd>The October 2005 issue of Red Hat Magazine contains the article
-"<a href="http://www.redhat.com/magazine/012oct05/features/java/">The
+"<a href="https://www.redhat.com/magazine/012oct05/features/java/">The
 state of Java on Linux</a>" by Tom Tromey.</dd>
 
 <dt>September 23, 2005</dt>