diff options
author | mkoch <mkoch@138bc75d-0d04-0410-961f-82ee72b054a4> | 2003-10-11 18:42:07 +0000 |
---|---|---|
committer | mkoch <mkoch@138bc75d-0d04-0410-961f-82ee72b054a4> | 2003-10-11 18:42:07 +0000 |
commit | 4f2d361a74cbb3518b299a7dc61ff88b01894fd3 (patch) | |
tree | 5ebb7b9267c30c07655f7b2ef88990e63722626d /libjava/java/rmi/server/RMIServerSocketFactory.java | |
parent | c08238f55a0b872efceb70ede271cc1dccf74282 (diff) | |
download | ppe42-gcc-4f2d361a74cbb3518b299a7dc61ff88b01894fd3.tar.gz ppe42-gcc-4f2d361a74cbb3518b299a7dc61ff88b01894fd3.zip |
2003-10-11 Michael Koch <konqueror@gmx.de>
* java/rmi/activation/ActivationInstantiator.java,
java/rmi/activation/ActivationMonitor.java,
java/rmi/activation/ActivationSystem.java,
java/rmi/activation/Activator.java,
java/rmi/dgc/DGC.java,
java/rmi/registry/Registry.java,
java/rmi/registry/RegistryHandler.java,
java/rmi/server/LoaderHandler.java,
java/rmi/server/RMIClientSocketFactory.java,
java/rmi/server/RMIFailureHandler.java,
java/rmi/server/RMIServerSocketFactory.java,
java/rmi/server/RemoteCall.java,
java/rmi/server/RemoteRef.java,
java/rmi/server/ServerRef.java,
java/rmi/server/Skeleton.java,
java/rmi/server/Unreferenced.java:
Removed redundant modifiers.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@72354 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libjava/java/rmi/server/RMIServerSocketFactory.java')
-rw-r--r-- | libjava/java/rmi/server/RMIServerSocketFactory.java | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/libjava/java/rmi/server/RMIServerSocketFactory.java b/libjava/java/rmi/server/RMIServerSocketFactory.java index c372c731b46..a5c52ffb6fd 100644 --- a/libjava/java/rmi/server/RMIServerSocketFactory.java +++ b/libjava/java/rmi/server/RMIServerSocketFactory.java @@ -40,8 +40,7 @@ package java.rmi.server; import java.net.ServerSocket; import java.io.IOException; -public interface RMIServerSocketFactory { - -public ServerSocket createServerSocket(int port) throws IOException; - +public interface RMIServerSocketFactory +{ + ServerSocket createServerSocket(int port) throws IOException; } |