Document RMI compatibility.

Author: broneill

docs/javadoc/org.cojen.dirmi/org/cojen/dirmi/Remote.html

@@ -88,7 +88,9 @@ <h1 title="Interface Remote" class="title">Interface Remote</h1>
 <div class="horizontal-scroll">
 <hr>
 <div class="type-signature"><span class="modifiers">public interface </span><span class="element-name type-name-label">Remote</span></div>
-<div class="block">Marker for designating a remote interface.</div>
+<div class="block">Marker for designating a remote interface.
+
+ <p>Note: For compatibility with interfaces designed for use with Java RMI, <a href="https://docs.oracle.com/en/java/javase/22/docs/api/java.rmi/java/rmi/Remote.html" title="class or interface in java.rmi" class="external-link"><code>java.rmi.Remote</code></a> can also be used.</div>
 </div>
 </section>
 <!-- ========= END OF CLASS DATA ========= -->

docs/javadoc/org.cojen.dirmi/org/cojen/dirmi/RemoteException.html

@@ -106,7 +106,11 @@ <h1 title="Class RemoteException" class="title">Class RemoteException</h1>
 <hr>
 <div class="type-signature"><span class="modifiers">public class </span><span class="element-name type-name-label">RemoteException</span>
 <span class="extends-implements">extends <a href="https://docs.oracle.com/en/java/javase/22/docs/api/java.base/java/io/IOException.html" title="class or interface in java.io" class="external-link">IOException</a></span></div>
-<div class="block">Defines the default exception for indicating a remote call failure.</div>
+<div class="block">Defines the default exception for indicating a remote call failure.
+
+ <p>Note: For compatibility with interfaces designed for use with Java RMI, remote methods
+ can declare throwing <a href="https://docs.oracle.com/en/java/javase/22/docs/api/java.rmi/java/rmi/RemoteException.html" title="class or interface in java.rmi" class="external-link"><code>java.rmi.RemoteException</code></a>, but none of
+ its specialized subclasses will be used.</div>
 <dl class="notes">
 <dt>See Also:</dt>
 <dd>

src/main/java/org/cojen/dirmi/Remote.java

@@ -19,6 +19,9 @@
 /**
  * Marker for designating a remote interface.
  *
+ * <p>Note: For compatibility with interfaces designed for use with Java RMI, {@link
+ * java.rmi.Remote java.rmi.Remote} can also be used.
+ *
  * @author Brian S O'Neill
  */
 public interface Remote {

src/main/java/org/cojen/dirmi/RemoteException.java

@@ -23,6 +23,10 @@
 /**
  * Defines the default exception for indicating a remote call failure.
  *
+ * <p>Note: For compatibility with interfaces designed for use with Java RMI, remote methods
+ * can declare throwing {@link java.rmi.RemoteException java.rmi.RemoteException}, but none of
+ * its specialized subclasses will be used.
+ *
  * @author Brian S O'Neill
  * @see RemoteFailure
  */