Fix encoding when compiling files under Eclipse