Checked the length of key for checker framework#583

stleary merged 2 commits into

stleary:masterstleary/JSON-java:masterfrom

ek08:fixek08/JSON-java:fixCopy head branch name to clipboard