public final void setAttributes(KeyEvent ke) {
public final void setAttributes(int keyCode, boolean isShiftDown, boolean isControlDown, boolean isAltDown, boolean isAltGrDown) {
   public final void setAttributes(KeyEvent ke) {      keyCode = ke.getKeyCode();      isShiftDown = ke.isShiftDown();      isControlDown = ke.isControlDown();      isAltDown = ke.isAltDown();      hashCode = keyCode +                  (isShiftDown ? 1 : 0) +                  (isControlDown ? 1 : 0) +                  (isAltDown ? 1 : 0) +                  (isAltGrDown ? 1 : 0);   }