Merge "Add functionality to export the IDEA settings into a specified file." into idea133