minor update for intellij12 settings.