@OP
You may want to update to the latest ( V2.1.0.4 released last week) version of the Arduino Eclipse plugin. That may remedy some problems.
@OP
You may want to update to the latest ( V2.1.0.4 released last week) version of the Arduino Eclipse plugin. That may remedy some problems.