DatabaseEditableObjectFile databaseFile = compilerMessage.getDatabaseFile();
if (compilerMessage.isError() || editorManager.isFileOpen(databaseFile)) {
editorManager.openFile(databaseFile, false);
if (compilerMessage.getContentFile() != null) {
BasicTextEditor textEditor = EditorUtil.getFileEditor(databaseFile, compilerMessage.getContentFile());
if (textEditor != null) {
navigateInEditor(compilerMessage, textEditor, databaseFile);
}
}
}