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

diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/JavaEditorErrorTickUpdater.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/JavaEditorErrorTickUpdater.java
index af78de1..cde8050 100644
--- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/JavaEditorErrorTickUpdater.java
+++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/JavaEditorErrorTickUpdater.java
@@ -18,41 +18,50 @@ import net.sourceforge.phpdt.ui.ProblemsLabelDecorator;
 import net.sourceforge.phpeclipse.PHPeclipsePlugin;
 
 import org.eclipse.core.resources.IResource;
-import org.eclipse.jface.text.Assert;
+//incastrix
+//import org.eclipse.jface.text.Assert;
+import org.eclipse.core.runtime.Assert;
 import org.eclipse.swt.graphics.Image;
 import org.eclipse.swt.widgets.Shell;
 import org.eclipse.ui.IEditorInput;
 
 /**
- * The <code>JavaEditorErrorTickUpdater</code> will register as a IProblemChangedListener
- * to listen on problem changes of the editor's input. It updates the title images when the annotation
- * model changed.
+ * The <code>JavaEditorErrorTickUpdater</code> will register as a
+ * IProblemChangedListener to listen on problem changes of the editor's input.
+ * It updates the title images when the annotation model changed.
  */
 public class JavaEditorErrorTickUpdater implements IProblemChangedListener {
 
 	private PHPEditor fJavaEditor;
+
 	private JavaUILabelProvider fLabelProvider;
 
 	public JavaEditorErrorTickUpdater(PHPEditor editor) {
 		Assert.isNotNull(editor);
-		fJavaEditor= editor;
-		fLabelProvider=  new JavaUILabelProvider(0, JavaElementImageProvider.SMALL_ICONS);
+		fJavaEditor = editor;
+		fLabelProvider = new JavaUILabelProvider(0,
+				JavaElementImageProvider.SMALL_ICONS);
 		fLabelProvider.addLabelDecorator(new ProblemsLabelDecorator(null));
-		PHPeclipsePlugin.getDefault().getProblemMarkerManager().addListener(this);
+		PHPeclipsePlugin.getDefault().getProblemMarkerManager().addListener(
+				this);
 	}
-	
-	/* (non-Javadoc)
+
+	/*
+	 * (non-Javadoc)
+	 * 
 	 * @see IProblemChangedListener#problemsChanged(IResource[], boolean)
 	 */
-	public void problemsChanged(IResource[] changedResources, boolean isMarkerChange) {
+	public void problemsChanged(IResource[] changedResources,
+			boolean isMarkerChange) {
 		if (isMarkerChange) {
 			return;
 		}
-		IEditorInput input= fJavaEditor.getEditorInput();
+		IEditorInput input = fJavaEditor.getEditorInput();
 		if (input != null) { // might run async, tests needed
-			IJavaElement jelement= (IJavaElement) input.getAdapter(IJavaElement.class);
+			IJavaElement jelement = (IJavaElement) input
+					.getAdapter(IJavaElement.class);
 			if (jelement != null) {
-				IResource resource= jelement.getResource();
+				IResource resource = jelement.getResource();
 				for (int i = 0; i < changedResources.length; i++) {
 					if (changedResources[i].equals(resource)) {
 						updateEditorImage(jelement);
@@ -60,21 +69,21 @@ public class JavaEditorErrorTickUpdater implements IProblemChangedListener {
 				}
 			}
 		}
-	}	
-			
+	}
+
 	public void updateEditorImage(IJavaElement jelement) {
-		Image titleImage= fJavaEditor.getTitleImage();
+		Image titleImage = fJavaEditor.getTitleImage();
 		if (titleImage == null) {
 			return;
 		}
-		Image newImage= fLabelProvider.getImage(jelement);
+		Image newImage = fLabelProvider.getImage(jelement);
 		if (titleImage != newImage) {
 			postImageChange(newImage);
 		}
 	}
-	
+
 	private void postImageChange(final Image newImage) {
-		Shell shell= fJavaEditor.getEditorSite().getShell();
+		Shell shell = fJavaEditor.getEditorSite().getShell();
 		if (shell != null && !shell.isDisposed()) {
 			shell.getDisplay().syncExec(new Runnable() {
 				public void run() {
@@ -82,14 +91,12 @@ public class JavaEditorErrorTickUpdater implements IProblemChangedListener {
 				}
 			});
 		}
-	}	
-	
+	}
+
 	public void dispose() {
 		fLabelProvider.dispose();
-		PHPeclipsePlugin.getDefault().getProblemMarkerManager().removeListener(this);
+		PHPeclipsePlugin.getDefault().getProblemMarkerManager().removeListener(
+				this);
 	}
 
-
 }
-
-