mark priority queue properties as private