110111112113114115116117118119120
public void propertyChange (PropertyChangeEvent event) { if (Library.PROP_CONTENT.equals(event.getPropertyName())) { synchronized (this) { this.cachedRoots = null; } cs.fireChange(); } } }
116117118119120121122123124125126
public void propertyChange (PropertyChangeEvent event) { if (ScalaPlatform.PROP_JAVADOC_FOLDER.equals(event.getPropertyName())) { synchronized (this) { this.cachedRoots = null; } cs.fireChange(); } } } ScalaPlatformManager jpm = ScalaPlatformManager.getDefault();