2013-08-08 eclipse plugins tips added