The Java version of the AuctionSystem specification for Uni