jantje/arduino-eclipse-plugin — pull request #75 by brodykenrick (2013-11-06 04:50:05+00:00)
Title: Fix #49 -- Nicer error message and behaviour when preferences not set.

If Arduino IDE pref is not set then we give a better error of "Arduino
IDE path does not exist. Check Window>Preferences>Arduino"

and don't let any further progress through the pages.