pege/MAR — pull request #3 by dgruntz (2012-06-05 09:25:43+00:00)
Title: fixes bug in jumping code

in the old version the algorithm jumped on the same position (and
thus closed an already closed mill).