Source of HotKeyManager class added.