code: private static boolean hasSameDefaultAccelerator(KeyboardMapping km, KeyStroke ks) {
  		KeyStroke kmKs = km.getDefaultKeyStroke();
  		if (kmKs == null) {
  			return false;
  		}
  		return kmKs.getKeyCode() == ks.getKeyCode() && kmKs.getModifiers() == ks.getModifiers();
  	}
docs: Tells whether or not the given keyboard mapping has the given default accelerator.
  
  @param km the keyboard mapping to check.
  @param ks the accelerator.
  @return {@code true} if the keyboard mapping has the given default accelerator, {@code false} otherwise.