fixed #1827, set encoding of Java source files to UTF-8 for core project