Corrected GPLscratch-FH-JML example