DEAD BRANCH! Make envsetup.sh notify upon sourcing, and offer to switch back to jb42.

Change-Id: I2c50dd294b86e3fd5b672579d3527f9c1d7a1479