Correction of some bugs and performance enhancement.

[jaceP2P.git] / src / jaceP2P / JaceSpawnerInterface.java

diff --git a/src/jaceP2P/JaceSpawnerInterface.java b/src/jaceP2P/JaceSpawnerInterface.java
index 434b125..16bdf9f 100644 (file)
--- a/src/jaceP2P/JaceSpawnerInterface.java
+++ b/src/jaceP2P/JaceSpawnerInterface.java
@@ -2,7 +2,7 @@ package jaceP2P;
 
 import java.rmi.Remote;
 import java.rmi.RemoteException;
-import java.util.Vector;
+import java.util.ArrayList;
 
 
 
@@ -16,7 +16,7 @@ public interface JaceSpawnerInterface extends Remote {
 
        public boolean getFinished() throws RemoteException;
 
-       public void signalDeadNode(JaceInterface host, int rankOfDead)
+       public void signalDeadNode(JaceInterface host, int rankOfDead )
                        throws RemoteException;
 
        public void beating() throws RemoteException;
@@ -29,7 +29,7 @@ public interface JaceSpawnerInterface extends Remote {
 
        public void updateHeart(JaceSpawnerInterface stub) throws RemoteException;
 
-       public void startProcess(Vector<?> spawnersList) throws RemoteException;
+       public void startProcess(ArrayList<Object> spawnersList) throws RemoteException;
 
        public void setOver(boolean bool) throws RemoteException;