void (final JavaParameters params, final VirtualFile scriptFile, Module module) { Charset charset = EncodingProjectManager.getInstance(module.getProject()).getEncoding(scriptFile, true); if (charset == null) { charset = EncodingManager.getInstance().getDefaultCharset(); if (!Comparing.equal(CharsetToolkit.getDefaultSystemCharset(), charset)) { params.getProgramParametersList().add("--encoding=" + charset.displayName()); } } else { params.getProgramParametersList().add("--encoding=" + charset.displayName()); } }