Merge "Add functionality to export the IDEA settings into a specified file." into idea133
automerge: 14b8f47

* commit '14b8f474b863b397d2341a7b97c317260516d602':
  Add functionality to export the IDEA settings into a specified file.