Use presetdef for javac with encoding=utf8