Arduino IDE >= 1.5.7 Changed ARDUINO_PATH from `Contents/Resources/Java` to `Contents/Java`, mentioned in #2632