Update encoding

eclipse will pick up the encoding change at the next restart, will work normally until then.