List of Java Contributors

[Gerald Pfeifer]

I just noticed that the list of Java contributors still is web-only at
  http://gcc.gnu.org/java/thanks.html
and would like to suggest to merge this with the main list of contributors
in gcc/doc/contrib.texi,

That way, we finally have a common list of contributors which also appears
in printed manuals, /onlinedocs, etc.


Ideally, one of the Java maintainers/contributors would do this, because
entries need to be adjusted (by adding context) and merged with the
existing ones there.

Any volunteers??

Gerald