Filesystem Case-Sensitivity Mismatch

Android Studioでこんなん出る。
ファイルシステムで大文字小文字を区別する設定にしているのがデフォルトと違うからなのだろう。
idea.propertiesにidea.case.sensitive.fs=trueを設定してやるといいらしい。
が、それはどこから開くのか?
GUIな設定には、そらしい項目はなさそう。
~/Library/Preferences/AndroidStudio1.3/の下にはidea.propertiesがない。
~/Library/Preferences/AndroidStudio/にもない。
ここから落として来て置けばいいのかな?
tools.android.com/tech-docs/configuration/mac-idea.properties?attredirects=0&d=1

$ mv ~/Downloads/mac-idea.properties ~/Library/Preferences/AndroidStudio1.3/idea.properties
$ vi ~/Library/Preferences/AndroidStudio1.3/idea.properties

idea.popup.weight=heavy
idea.dynamic.classpath=false
swing.bufferPerWindow=false
CVS_PASSFILE=~/.cvspass
idea.smooth.progress=false
idea.max.intellisense.filesize=2500
idea.xdebug.key=-Xdebug
apple.awt.fullscreencapturealldisplays=false
idea.cycle.buffer.size=1024
com.apple.mrj.application.live-resize=false
java.endorsed.dirs=
sun.java2d.noddraw=true
sun.java2d.pmoffscreen=false
idea.use.default.antialiasing.in.editor=false
idea.fatal.error.notification=disabled
apple.awt.graphics.UseQuartz=true
idea.no.launcher=false
sun.java2d.d3d=false
apple.laf.useScreenMenuBar=true
idea.case.sensitive.fs=true

これでいいかな?
よし、でなくなった。