jQuery updated to version 1.9 and jqueryUI to version 1.10. Shortcuts
plugin replaced by newer hotkeys plugin.