Investigating the Use of JML Contracts. ECOP 2022, 2 (5).