if (VM.VerifyAssertions) VM.assert(!isEmpty());
if (VM.VerifyAssertions) VM._assert(!isEmpty());
  synchronized final public double rootValue() {    if (VM.VerifyAssertions) VM.assert(!isEmpty());    return queue[1].priority;  }