Allow users to change polling intervals
Moved from Bugzilla:
https://bugs.eclipse.org/bugs/show_bug.cgi?id=560879
Minimum/maximum polling intervals can only be set once, when the index is first created. After that, they cannot be changed from the UI.
We can change these values from the internal APIs, but we have not exposed this functionality through the UI. This should change.