X-Git-Url: http://secure.phpeclipse.com

diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/viewsupport/ProblemMarkerManager.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/viewsupport/ProblemMarkerManager.java
index 3be74d5..69bbfb9 100644
--- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/viewsupport/ProblemMarkerManager.java
+++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/viewsupport/ProblemMarkerManager.java
@@ -127,7 +127,6 @@ public class ProblemMarkerManager implements IResourceChangeListener, IAnnotatio
 			fireChanges(changes, true);
 		}
 	}
-	
 	/* (non-Javadoc)
 	 * @see IAnnotationModelListener#modelChanged(IAnnotationModel)
 	 */
@@ -141,14 +140,13 @@ public class ProblemMarkerManager implements IResourceChangeListener, IAnnotatio
 	public void modelChanged(AnnotationModelEvent event) {
 		if (event instanceof CompilationUnitAnnotationModelEvent) {
 			CompilationUnitAnnotationModelEvent cuEvent= (CompilationUnitAnnotationModelEvent) event;
-			if (cuEvent.includesMarkerAnnotationChanges()) {
+			if (cuEvent.includesProblemMarkerAnnotationChanges()) {
 				IResource[] changes= new IResource[] { cuEvent.getUnderlyingResource() };
 				fireChanges(changes, false);
 			}
 		}
 	}	
 	
-	
 	/**
 	 * Adds a listener for problem marker changes.
 	 */