--- a/dwtx/jface/action/SubMenuManager.d	Thu Apr 10 19:10:12 2008 +0200
+++ b/dwtx/jface/action/SubMenuManager.d	Fri Apr 11 01:24:25 2008 +0200
@@ -110,7 +110,7 @@
     /* (non-Javadoc)
      * @see dwtx.jface.action.SubContributionManager#disposeManager()
      */
-    public void disposeManager() {
+    public override void disposeManager() {
         if (menuListener !is null) {
             getParentMenuManager().removeMenuListener(menuListener);
             menuListener = null;
@@ -187,7 +187,7 @@
      * In the case of menu's not added by this manager,
      * ensure that we return a wrapper for the menu.
      */
-    public IContributionItem find(String id) {
+    public override IContributionItem find(String id) {
         IContributionItem item = getParentMenuManager().find(id);
         if (cast(SubContributionItem)item ) {
             // Return the item passed to us, not the wrapper.
@@ -319,7 +319,7 @@
     /**
      * Remove all contribution items.
      */
-    public void removeAll() {
+    public override void removeAll() {
         super.removeAll();
         if (mapMenuToWrapper !is null) {
             foreach( v; mapMenuToWrapper.elements() ){
@@ -363,7 +363,7 @@
     /* (non-Javadoc)
      * @see dwtx.jface.action.SubContributionManager#setVisible(bool)
      */
-    public void setVisible(bool visible) {
+    public override void setVisible(bool visible) {
         super.setVisible(visible);
         if (mapMenuToWrapper !is null) {
             foreach( v; mapMenuToWrapper.elements() ){