MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

compilation fix++

Browse Source
This commit is contained in:
Anton.Makeev
2009-12-22 14:40:23 +03:00
parent dd262d38d6
commit 2a326eb17c
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/maven/src/main/java/org/jetbrains/idea/maven/dom/annotator/MavenDomAnnotator.java
+3 -1
View File
@@ -34,6 +34,8 @@ import org.jetbrains.idea.maven.dom.model.MavenDomProjectModel;
import org.jetbrains.idea.maven.project.MavenProject;
import org.jetbrains.idea.maven.project.MavenProjectProblem;
import java.util.Arrays;
public class MavenDomAnnotator implements DomElementsAnnotator {
public void annotate(DomElement element, DomElementAnnotationHolder holder) {
if (element instanceof MavenDomProjectModel) {
@@ -53,7 +55,7 @@ public class MavenDomAnnotator implements DomElementsAnnotator {
if (mavenProject != null) {
for (MavenProjectProblem each : mavenProject.getProblems()) {
MavenProjectProblem.ProblemType type = each.getType();
if (!ArrayUtil.contains(type, types)) continue;
if (!Arrays.asList(types).contains(type)) continue;
VirtualFile problemFile = each.findFile();
LocalQuickFix[] fixes = LocalQuickFix.EMPTY_ARRAY;