Lemmings (master's degree school project) Lemmings game in Java using design by contract (programming by contract)