try {
JSLint lint = lintProvider.getJsLint();
// TODO: this should react to changes in the prefs pane instead.
reader = new BufferedReader(new InputStreamReader(file
.getContents(), file.getCharset()));
JSLintResult result = lint.lint(file.getFullPath().toString(),
reader);
for (Issue issue : result.getIssues()) {
addMarker(file, issue);
}
} catch (IOException e) {
JSLintLog.error(e);
} catch (CoreException e) {