java/eclipse-pydev: bump to 10.0.1
Release notes: https://www.pydev.org/history_pydev.html#release-10-0-1-2022-10-28