Update some metadata#237

wmdietl wants to merge 6 commits into

mastereisopux/checker-framework-vscode:masterfrom

update-metadataeisopux/checker-framework-vscode:update-metadataCopy head branch name to clipboard