private void restoreKeyBindings() {
    // Define default keybindings.
    defineDefaultKeyBindings();

    // First read the bindings, and their names.
    String[] bindNames = getStringArray("bindNames"), bindings = getStringArray("bindings");

    // Then set up the key bindings HashMap.
    if ((bindNames == null) || (bindings == null) || (bindNames.length != bindings.length)) {
      // Nothing defined in Preferences, or something is wrong.
      setDefaultKeyBindings();
      return;
    }

    for (int i = 0; i < bindNames.length; i++) keyBinds.put(bindNames[i], bindings[i]);
  }