[jdt-core-dev] Patch for bug 40288 posted

["Philippe P Mulet" <philippe_mulet@xxxxxxxxxx>]

A new patch for JDT/Core got posted in our download area (
http://dev.eclipse.org/viewcvs/index.cgi/%7Echeckout%7E/jdt-core-home/r3.0/main.html#updates
).
You can directly get it from
http://dev.eclipse.org/viewcvs/index.cgi/%7Echeckout%7E/jdt-core-home/patches/org.eclipse.jdt.core_3.0.0.zip
.

This patch is a preview of our next contribution to the 3.0 integration
build. Unless further notice, there should not be any more changes to our
contribution for the upcoming integration build.

For further information about this integration preview, please read the
corresponding build notes at:
http://dev.eclipse.org/viewcvs/index.cgi/~checkout~/org.eclipse.jdt.core/buildnotes_jdt-core.html?rev=1.2332&content-type=text/plain