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.