[news.eclipse.platform] How to listen for "Javadoc location" change

[vishaljohn@xxxxxxxxx (Vishal John)]

Hi

  I would like to listen to an event when user updates the JavaDoc file 
corresponding to a library jar file. After registering for ElementChanged 
event, I am able to detect that a change has occurred. However, I am 
unable to retrieve the name of the jar file which has been modified and 
the new javadoc location. Any idea on how to do this.

Thanks