Eclipse project setting (Builder-related) have changed again (I updated the Android SDK, via the Manager ... not sure if it is related)