/**
* Update the current metadata index version number so that it matches the value returned by
* getIndexVersion. This is called once the metadata index has been updated
*/
protected void updateVersionPreference() {
IEclipsePreferences prefs = (EclipseUtil.instanceScope()).getNode(this.getPluginId());
prefs.putDouble(this.getIndexVersionKey(), this.getIndexVersion());
try {
prefs.flush();
} catch (BackingStoreException e) {
}
}
