BZ1007822 - No way to manually refresh the Problems panel
(cherry picked from commit aedc76ec86ae82559ccba80a2b2ecc6bfb972611)