code: public void rescore(double factor) {
      for (int i = 0; i < this.prior.size(); i++)
        this.prior.set(i, this.prior.get(i) * factor);
    }
docs: Rescores all priorities by multiplying them with the same factor.
  @param factor the factor to multiply with