java/eclipse-pydev: update to 12.0.0
Changelog: https://www.pydev.org/history_pydev.html#release-12-0-0-2024-02-01