Although I can't reproduce this problem, it doesn't break anything
for me and other users have independently verified it fixes the
build for them.
. Remove an unnecessary patch.
PR: 85590
Submitted by: Panagiotis Astithas <past@ebs.gr>
o java/eclipse-devel is IGNOREd now until 3.2+.
o change MAINTAINERship to java@ on java/eclipse-devel. [1]
PR: ports/84252
Submitted by: Panagiotis Astithas <past@ebs.gr>
Requested by: devel/eclipse-devel's maintainer [1]
Tested by: java@