This package contains samples of priority queues. The only purpose of these is to demonstrate a bug in jmlc.
These specifications and implementations were originally written by Albert L. Baker, and have since been adapted by Gary T. Leavens and others.