[wwwdocs,Java] java/index.html -- fix formatting on gcc.gnu.org

[Gerald Pfeifer]

On Sun, 10 Apr 2016, Andrew Hughes wrote:
>> That said, looking at the page, and how since 2005 nearly all changes
>> have been maintainance ones from me, is it really worthwhile keeping
>> this (short of historic reasons)?
> I guess the next news will be the removal of GCJ during the
> GCC 7 development period, so its remaining shelf life should
> be limited anyway.

Soo, GCC 6 has branched -- would it make sense for you guys to
start this removal?

Somewhat related, any concerns if I were to remove
https://gcc.gnu.org/java/status.html now?

("Status of GCJ as of GCC 3.2" _really_ is rather old.)

Gerald