eclipses: 2022-12 -> 2023-03
* generalize the justj-stripping regex a tad, since it has grown a
trailing /java in some flavors of eclipse.
* resurrect .eclipseproduct workaround from 2012-12 /
8a7561ec09957e813048aba119f7459aa392f22d
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>