publish to maven#21

jaredsburrows wants to merge 2 commits intomasterjaredsburrows/gradle-checker-framework-plugin:masterfrom

pr/jaredsburrows/publish-mavenjaredsburrows/gradle-checker-framework-plugin:pr/jaredsburrows/publish-mavenCopy head branch name to clipboard