update shortcut.js to the latest versions for jdk-1.6

latest version here
http://www.openjs.com/scripts/events/keyboard_shortcuts/