scj: Minepump example adapted to new SCJ changes