public DecoderServer(int timeout) throws RemoteException { super(timeout);
public DecoderServer(String mcFilename) throws ClassNotFoundException, IOException, OptionalDataException { setModelCollection(mcFilename);
  public DecoderServer(int timeout) throws RemoteException {    super(timeout);  }