Update to 3.1.
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@