}
EditorUtil.selectEditor(databaseFile, textEditor);
VirtualFile virtualFile = DocumentUtil.getVirtualFile(textEditor.getEditor());
OpenFileDescriptor openFileDescriptor = new OpenFileDescriptor(compilerMessage.getProject(), virtualFile);
codeEditor.navigateTo(openFileDescriptor);
}
/*********************************************************
* MouseListener *
*********************************************************/