openjdk version "21.0.11" 2026-04-21 LTS
OpenJDK Runtime Environment Corretto-21.0.11.10.1 (build 21.0.11+10-LTS)
OpenJDK 64-Bit Server VM Corretto-21.0.11.10.1 (build 21.0.11+10-LTS, mixed mode, sharing)
javac 21.0.11
PASS class_operations_receivers_associations
DETECTED missing_receiver missing receiver previous
DETECTED missing_method missing method Receipt.refund()
DETECTED wrong_multiplicity association mismatch bookings
DETECTED conflicting_association unsupported association [RentalDesk "0..*" --> "1" ReserveRequest : bookings]
DETECTED unknown_association unsupported association [Ghost "1" --> "1" RentalDesk : imaginary]
DETECTED duplicate_association duplicate association RentalDesk "0..*" --> "0..*" ReserveRequest : bookings
DETECTED wrong_return_type return type mismatch RentalDesk.cancel
PASS required_equipment_nonnull
PASS cancel_replay_probe fresh=CONFIRMED
