Eclipse Tips : Local History Settings in Eclipse