--- a/dwtx/jface/operation/AccumulatingProgressMonitor.d	Thu Apr 10 19:10:12 2008 +0200
+++ b/dwtx/jface/operation/AccumulatingProgressMonitor.d	Fri Apr 11 01:24:25 2008 +0200
@@ -123,7 +123,7 @@
     /* (non-Javadoc)
      * Method declared on IProgressMonitor.
      */
-    public void beginTask(String name, int totalWork) {
+    public override void beginTask(String name, int totalWork) {
         synchronized (this) {
             collector = null;
         }
@@ -161,7 +161,7 @@
     /* (non-Javadoc)
      * Method declared on IProgressMonitor.
      */
-    public void done() {
+    public override void done() {
         synchronized (this) {
             collector = null;
         }
@@ -175,7 +175,7 @@
     /* (non-Javadoc)
      * Method declared on IProgressMonitor.
      */
-    public synchronized void internalWorked(double work) {
+    public override synchronized void internalWorked(double work) {
         if (collector is null) {
             createCollector(null, work);
         } else {
@@ -186,7 +186,7 @@
     /* (non-Javadoc)
      * Method declared on IProgressMonitor.
      */
-    public void setTaskName(String name) {
+    public override void setTaskName(String name) {
         synchronized (this) {
             collector = null;
         }
@@ -201,7 +201,7 @@
     /* (non-Javadoc)
      * Method declared on IProgressMonitor.
      */
-    public synchronized void subTask(String name) {
+    public override synchronized void subTask(String name) {
         if (collector is null) {
             createCollector(name, 0);
         } else {
@@ -212,14 +212,14 @@
     /* (non-Javadoc)
      * Method declared on IProgressMonitor.
      */
-    public synchronized void worked(int work) {
+    public override synchronized void worked(int work) {
         internalWorked(work);
     }
 
     /* (non-Javadoc)
      * @see dwtx.core.runtime.ProgressMonitorWrapper#clearBlocked()
      */
-    public void clearBlocked() {
+    public override void clearBlocked() {
 
         //If this is a monitor that can report blocking do so.
         //Don't bother with a collector as this should only ever
@@ -246,7 +246,7 @@
     /* (non-Javadoc)
      * @see dwtx.core.runtime.ProgressMonitorWrapper#setBlocked(dwtx.core.runtime.IStatus)
      */
-    public void setBlocked(IStatus reason) {
+    public override void setBlocked(IStatus reason) {
         //If this is a monitor that can report blocking do so.
         //Don't bother with a collector as this should only ever
         //happen once and prevent any more progress.