pmd: update release process documentation

  pmd.website.baseurl is set correctly if the profile "pmd-release" is used
  during releasing
pmd: format source, no changes
pmd: fix #1171 Specifying minimum priority from command line gives NPE