docs: private void fixAdditionalKeyBindings(GameSettings settings)
      {
          if (this.additionalKeys == null)
          {
              return; // No extra keybindings to add.
          }
      
          // The keybindings are stored in GameSettings as a java built-in array.
          // There is no way to append to such arrays, so instead we create a new
          // array of the correct
          // length, copy across the current keybindings, add our own ones, and
          // set the new array back
          // into the GameSettings:
          KeyBinding[] bindings = (KeyBinding[]) ArrayUtils.addAll(settings.keyBindings, this.additionalKeys.toArray());
          settings.keyBindings = bindings;
      }