Patch: FYI: Update web pages for RMI

[Tom Tromey <tromey at redhat dot com>]

I'm checking this in.
This further updates the Java web pages to account for the RMI import,
and it addresses a grammatical confusion pointed out by Gerald.

Tom

Index: ChangeLog
from  Tom Tromey  <tromey@redhat.com>

	* faq.html: Mention RMI.
	* index.html: Updated RMI announcement; don't claim that RMI is
	unsupported.

Index: faq.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/java/faq.html,v
retrieving revision 1.43
diff -u -r1.43 faq.html
--- faq.html 2001/07/11 18:43:38 1.43
+++ faq.html 2001/08/31 19:20:11
@@ -298,36 +298,11 @@
       </dl>
       <h3><a name="2_6">2.6 </a>What support is there for RMI?</h3>
       <dl> 
-        <dd> There is no RMI support at the moment. <a href="mailto:mdw@cs.berkeley.edu";>Matt 
-          Welsh</a> elaborates:</dd>
-        <dt> 
-          <dl> 
-            <dd>I was working on this, but it's on the back-burner right now. 
-              So, if anyone would like to help out I would appreciate it. I have 
-              a free implementation of RMI (&quot;NinjaRMI&quot;) that is quite 
-              similar to Sun's RMI. You can download it from <a href="http://www.cs.berkeley.edu/%7Emdw/proj/ninja";>http://www.cs.berkeley.edu/~mdw/proj/ninja</a></dd>
-          </dl>
-        </dt>
-        <dd><a href="http://www.cs.berkeley.edu/%7Emdw/proj/ninja";></a></dd>
+        <dd> RMI code exists on the CVS trunk (aka gcc 3.1), but it
+	      has not been heavily tested.  This code was donated by
+	      Transvirtual Technologies.
+	</dd>
       </dl>
-      <blockquote> 
-        <blockquote> 
-          <p>Note that this is NOT Java RMI per se; it is just very similar in 
-            functionality and design. You might want to steal some classes out 
-            of it to get RMI support in libgcj. However, it does require some 
-            classes in java.* and sun.* which are not part of libgcj.</p>
-        </blockquote>
-        <p>It may be possible to use the JavaParty's <a href="http://wwwipd.ira.uka.de/%7Ehauma/EfficientRMI/";>RMI 
-          implementation</a>, but the licensing is much more restrictive than 
-          that of NinjaRMI. Details below:</p>
-        <blockquote> 
-          <p>The much faster drop-in RMI and the appropriate efficient serialization 
-            is designed and implemented completely in Java without any native 
-            code. Moreover, the re-designed RMI supports non-TCP/IP communication 
-            networks, even with heterogeneous transport protocols. As a by-product, 
-            there is a benchmark collection for RMI. </p>
-        </blockquote>
-      </blockquote>
       <p></p>
       <dl> 
         <dt>&nbsp; </dt>
Index: index.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/java/index.html,v
retrieving revision 1.85
diff -u -r1.85 index.html
--- index.html 2001/08/28 16:17:13 1.85
+++ index.html 2001/08/31 19:20:11
@@ -31,10 +31,10 @@
 
 <p>
 
-Most of the APIs specified by "The Java Class Libraries" Second Edition and 
-the "Java 2 Platform supplement" are supported, including collections, 
-networking, reflection, and serialization. AWT and RMI are currently 
-unsupported, but work to implement them is in progress.
+Most of the APIs specified by "The Java Class Libraries" Second
+Edition and the "Java 2 Platform supplement" are supported, including
+collections, networking, reflection, and serialization. AWT is
+currently unsupported, but work to implement it is in progress.
 
 <p>
 
@@ -70,7 +70,7 @@
 <tr><td valign="top">
 <b>August 27, 2001</b>
 </td><td>
-Tom Tromey has imported an RMI implementation into libgcj.  RMI was
+Tom Tromey has imported RMI into libgcj.  This RMI implementation was
 implemented and donated to the Free Software Foundation by
 Transvirtual Technologies; many thanks to them for their important
 contribution.