Update typo for github java corpus#16

casutton wants to merge 3 commits intolearnbigcode:masterlearnbigcode/learnbigcode.github.io:masterfrom

mast-group:mastermast-group/learnbigcode.github.io:masterCopy head branch name to clipboard