fixes unclosed scanner#7

pzzz wants to merge 4 commits intoBorderTech:masterBorderTech/badger:masterfrom

pzzz:maven-originalpzzz/badger:maven-originalCopy head branch name to clipboard