Refreshing Eclipse

After installing a customized version of Eclipse I was horrified to find that automatic workspace refresh was disabled!
Not anymore.