a2ba6854
* commit 'a2ba68544f715bb9043703e33de29ead328fe0f7': Specific instructions about using these Eclipse settings.