--- a/dwtx/jface/preference/PreferencePage.d	Thu Apr 10 19:10:12 2008 +0200
+++ b/dwtx/jface/preference/PreferencePage.d	Fri Apr 11 01:24:25 2008 +0200
@@ -65,6 +65,7 @@
  */
 public abstract class PreferencePage : DialogPage,
         IPreferencePage {
+    alias DialogPage.setMessage setMessage;
 
     /**
      * Preference store, or <code>null</code>.
@@ -509,7 +510,7 @@
      * method extends the <code>DialogPage</code> implementation to update
      * the preference page container title. Subclasses may extend.
      */
-    public void setTitle(String title) {
+    public override void setTitle(String title) {
         super.setTitle(title);
         if (getContainer() !is null) {
             getContainer().updateTitle();
@@ -541,7 +542,7 @@
     /**
      * Returns a string suitable for debugging purpose only.
      */
-    public String toString() {
+    public override String toString() {
         return getTitle();
     }
 
@@ -626,7 +627,7 @@
     /* (non-Javadoc)
      * @see dwtx.jface.dialogs.IDialogPage#performHelp()
      */
-    public void performHelp() {
+    public override void performHelp() {
         getControl().notifyListeners(DWT.Help, new Event());
     }
 
@@ -642,7 +643,7 @@
     /* (non-Javadoc)
      * @see dwtx.jface.dialogs.DialogPage#setErrorMessage(java.lang.String)
      */
-    public void setErrorMessage(String newMessage) {
+    public override void setErrorMessage(String newMessage) {
         super.setErrorMessage(newMessage);
         if (getContainer() !is null) {
             getContainer().updateMessage();
@@ -652,7 +653,7 @@
     /* (non-Javadoc)
      * @see dwtx.jface.dialogs.DialogPage#setMessage(java.lang.String, int)
      */
-    public void setMessage(String newMessage, int newType) {
+    public override void setMessage(String newMessage, int newType) {
         super.setMessage(newMessage, newType);
         if (getContainer() !is null) {
             getContainer().updateMessage();