SuccessChanges

Summary

  1. 507911 : trigger Sources/Javadoc download when preferences are changed (details)
Commit 6abbe1e306eea9812d1af2436ecf6b4c4cb94e9f by Fred Bricon
507911 : trigger Sources/Javadoc download when preferences are changed
See Bug 507911
The JDT configuration listener now listens to changes in
MavenConfigurationChangeEvent.P_DOWNLOAD_JAVADOC and
MavenConfigurationChangeEvent.P_DOWNLOAD_SOURCES preference properties.
It schedules a new IBackgroundProcessingQueue to queue source/javadoc
download request for all Maven workspace projects.
Change-Id: I06f462d87db673e067373a509c538b76e487d1d9 Signed-off-by: Fred
Bricon <fbricon@gmail.com>
The file was modifiedorg.eclipse.m2e.jdt/src/org/eclipse/m2e/jdt/MavenJdtPlugin.java
The file was modifiedorg.eclipse.m2e.jdt/src/org/eclipse/m2e/jdt/internal/BuildPathManager.java