Bump Spotbugs plugin version and minor cleanup.
#6564
add-milestone-to-pull-requests.yaml
on: pull_request
Add milestone to merged pull requests
4s