Additional encoding settings for eclipse