JBIDE-15287 - ui and api for overriding scanner interval and timeout
JBIDE-15287 - ui and api for overriding scanner interval and timeout
JBIDE-15287 accidentally deleted a method oops