Idea13 settings
Rename settings.jar for idea12.