Fixes #2085: Only warn once per workspace#2094

vrubezhny merged 2 commits into

eclipse-wildwebdeveloper:mastereclipse-wildwebdeveloper/wildwebdeveloper:masterfrom

thahnen:masterthahnen/wildwebdeveloper:masterCopy head branch name to clipboard