docs: protected RunAutomaton copyRunAutomaton() throws IOException, ClassNotFoundException{
  		RunAutomaton result;
  		
  		ByteArrayOutputStream baos = new ByteArrayOutputStream();
  		ObjectOutputStream oos = new ObjectOutputStream(baos);
  		oos.writeObject(this.runAutomaton);
  		byte[] binary = baos.toByteArray();
  		ByteArrayInputStream bais = new ByteArrayInputStream(binary);
  		ObjectInputStream ois = new ObjectInputStream(bais);
  		
  		result = (RunAutomaton) ois.readObject();
  		oos.close();
  		baos.close();
  		ois.close();
  		bais.close();
  		
  		return result;
  	}