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

Gerald Pfeifer <[email protected]>
Newsgroups gmane.comp.gcc.patches,gmane.comp.gcc.java.patches
Message-ID <[email protected]>
Like some other domains, redhat.com now defaults to http, so this
adjusts the link.

Gerald

2012-11-01  Gerald Pfeifer  <[email protected]>
 
	* 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
-&quot;<a href="http://www.redhat.com/magazine/012oct05/features/java/">The
+&quot;<a href="https://www.redhat.com/magazine/012oct05/features/java/">The
 state of Java on Linux</a>&quot; by Tom Tromey.</dd>
 
 <dt>September 23, 2005</dt>
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.