diff options
| author | Alexander Kurtakov | 2016-07-08 09:01:43 +0000 |
|---|---|---|
| committer | Alexander Kurtakov | 2016-07-08 09:01:43 +0000 |
| commit | dfbf925d5d364bcd5f5a7d841b44fe0860bef3db (patch) | |
| tree | 0dd3cf2d276285606e3449272d27db319183ed3f /org.eclipse.help.base | |
| parent | 2ef1e5d654acfaf55187ee45921a2270695b6142 (diff) | |
| download | eclipse.platform.ua-dfbf925d5d364bcd5f5a7d841b44fe0860bef3db.tar.gz eclipse.platform.ua-dfbf925d5d364bcd5f5a7d841b44fe0860bef3db.tar.xz eclipse.platform.ua-dfbf925d5d364bcd5f5a7d841b44fe0860bef3db.zip | |
Bug 497548 - Make use of StandardCharsetsI20160708-1700
All the various places defining and using different UTF-8 charset name
constants is too error prone. Let's stick to StandardCharsets.UTF-8
which even saves the string lookup too.
Change-Id: Idcb356d0293cd2d0d0148de4e1f2e131584d09c4
Signed-off-by: Alexander Kurtakov <akurtako@redhat.com>
Diffstat (limited to 'org.eclipse.help.base')
| -rw-r--r-- | org.eclipse.help.base/src/org/eclipse/help/internal/browser/MozillaBrowserAdapter.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/org.eclipse.help.base/src/org/eclipse/help/internal/browser/MozillaBrowserAdapter.java b/org.eclipse.help.base/src/org/eclipse/help/internal/browser/MozillaBrowserAdapter.java index 92696ca76..912c24f48 100644 --- a/org.eclipse.help.base/src/org/eclipse/help/internal/browser/MozillaBrowserAdapter.java +++ b/org.eclipse.help.base/src/org/eclipse/help/internal/browser/MozillaBrowserAdapter.java @@ -11,6 +11,7 @@ package org.eclipse.help.internal.browser; import java.io.*; +import java.nio.charset.StandardCharsets; import org.eclipse.core.runtime.*; import org.eclipse.help.browser.*; @@ -134,7 +135,7 @@ public class MozillaBrowserAdapter implements IBrowser { try { outFile.getParentFile().mkdirs(); try (PrintWriter writer = new PrintWriter( - new BufferedWriter(new OutputStreamWriter(new FileOutputStream(outFile), "UTF8")), //$NON-NLS-1$ + new BufferedWriter(new OutputStreamWriter(new FileOutputStream(outFile), StandardCharsets.UTF_8)), false)) { writer.println("<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.0 Transitional//EN\">"); //$NON-NLS-1$ writer.println("<html><head>"); //$NON-NLS-1$ |