Patch: FYI: RMI API fixlet

[Tom Tromey]

I'm checking this in on the trunk and to Classpath.

This properly deprecates an RMI interface.

Tom

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

	* java/rmi/registry/RegistryHandler.java: Deprecate.

Index: java/rmi/registry/RegistryHandler.java
===================================================================
RCS file: /cvsroot/classpath/classpath/java/rmi/registry/RegistryHandler.java,v
retrieving revision 1.2
diff -u -r1.2 RegistryHandler.java
--- java/rmi/registry/RegistryHandler.java 22 Jan 2002 22:27:00 -0000 1.2
+++ java/rmi/registry/RegistryHandler.java 1 Mar 2003 22:34:02 -0000
@@ -1,5 +1,5 @@
 /*
-  Copyright (c) 1996, 1997, 1998, 1999 Free Software Foundation, Inc.
+  Copyright (c) 1996, 1997, 1998, 1999, 2003 Free Software Foundation, Inc.
 
 This file is part of GNU Classpath.
 
@@ -40,10 +40,16 @@
 import java.rmi.RemoteException;
 import java.rmi.UnknownHostException;
 
+/**
+ * An internal interface that should no longer be used.
+ * @deprecated
+ */
 public interface RegistryHandler {
 
+/** @deprecated */
 public Registry registryStub(String host, int port) throws RemoteException, UnknownHostException;
 
+/** @deprecated */
 public Registry registryImpl(int port) throws RemoteException;
 
 }