bug in GemoUtil.jumpHole fixed
add comment to GemoUtil