(Only the first 10 of 60 ports in this commit are shown above. )
Update to 3.1.
o java/eclipse-devel is IGNOREd now until 3.2+.
o change MAINTAINERship to java@ on java/eclipse-devel. 
Submitted by: Panagiotis Astithas <email@example.com>
Requested by: devel/eclipse-devel's maintainer 
Tested by: java@
Let the port build and install the source code related features and
plugins. This basically means that Javadoc help and editor hover
links will work on Eclipse libraries when developing plugins and
It requires some zipping and unzipping but at least we get the
correct tree installed (much like the available binaries for other
Obtained from: Jan Schulz (from the eclipse.tools.jdt newsgroup)