fix Eclipse Properties encodeing