And here are some adjustments of existing redirects for/to various Java pages on our end, and a new one for the former main Java page.
Applied. I am thinking to merge the news items from the old Java index pages and possibly the even older news items from java/news.html into our general history at gcc.gnu.org/news.html. Thoughts? Gerald
