Updated Hotkey.java, fixed some bugs.