[pmd-devel] dead link

[Mark A. <ph...@ph...>]

This is a dead link:

https://pmd.github.io/latest/usage/integrations.html#Eclipse

It appears at the bottom of https://pmd.github.io/ in the "Plugins" section.
You may want to update your page.

Regards,
Mark