/* * Starts or stops auto-refresh depending on the auto-refresh preference. */ protected void manageAutoRefresh(boolean enabled) { // do nothing if we have already shutdown if (refreshJob == null) return; if (enabled) { refreshJob.start(); monitors.start(); } else { refreshJob.stop(); monitors.stop(); } }