public Parser(int timeout) throws RemoteException { super(timeout);
public Parser(String derivedDataFilename) throws RemoteException, IOException, ClassNotFoundException { server = new DecoderServer(derivedDataFilename); decoder = new Decoder(0, server);
  public Parser(int timeout) throws RemoteException {    super(timeout);  }