fixes snapshot generator comment // insertion#120

Strum355 merged 2 commits into

mainscip-code/scip-java:mainfrom

nsc/snapshot-comment-fixscip-code/scip-java:nsc/snapshot-comment-fixCopy head branch name to clipboard