import java.util.* ;
import java.io.* ;

import java.rmi.* ;

public interface FileSource extends Remote {

    public Vector readFile(String file) throws RemoteException, IOException ;
}