
.getDefaultCharset();
</BUG>
}
try (final FileInputStream is = new FileInputStream(new File(path))) {
<BUG>initialText = Util.getInputStreamAsString(is, charset);
</BUG>
} catch (final IOException e) {
}
} catch (final CoreException e) {

} else if (path != null) {
try {
if (encoding != null) {
charset = encoding;
} else {
charset = Charset.forName(modelUtilService.getProject(this).getWorkspaceProject()
.getDefaultCharset());
}
try (final FileInputStream is = new FileInputStream(new File(path))) {
initialText = Util.getInputStreamAsString(is, charset.name());
} catch (final IOException e) {
}
} catch (final CoreException e) {
