Fix for #283. Caused by Arduino IDE 1.6.5-r2

Due to the fact that after 1.6.5 the plugin uses the arduino boards manager for preferences the code settin are overruled when the dump file is processed.

Author: jantje

it.baeyens.arduino.common/src/it/baeyens/arduino/common/ArduinoInstancePreferences.java

@@ -242,7 +242,13 @@ public static String GetArduinoDefineValue() {
 	    if (fields.length != 3) {
 		Common.log(new Status(IStatus.WARNING, ArduinoConst.CORE_PLUGIN_ID, "Malformed Arduino IDE version expected X.Y.Z got " + Ret, null));
 	    } else {
-		Ret = String.format("%d%02d%02d", Integer.valueOf(fields[0]), Integer.valueOf(fields[1]), Integer.valueOf(fields[2]));
+		try {
+		    Ret = String.format("%d%02d%02d", Integer.valueOf(fields[0]), Integer.valueOf(fields[1]), Integer.valueOf(fields[2]));
+		} catch (NumberFormatException e) {
+		    Common.log(new Status(IStatus.WARNING, ArduinoConst.CORE_PLUGIN_ID, "Malformed Arduino IDE version expected X.Y.Z got " + Ret,
+			    null));
+		    Ret = getArduinoIDEVersion().trim();
+		}
 	    }
 	}
 	return Ret;