public synchronized void setPriority(double priority){
if(priority < 0.0 || priority > 1.0)
throw new IllegalArgumentException("priority must be a double value between 0.0d and 1.0d");
priority_ = priority;
firePriorityChange(new PriorityEvent(this, priority));
}