JBIDE-15012 patch to only update progress monitor once every 4 seconds

Two missing files JBIDE-15012

JBIDE-15012 more optimization, also on worked() portion of PM