diff --git a/mozilla/java/webclient/classes_spec/org/mozilla/webclient/CurrentPage.java b/mozilla/java/webclient/classes_spec/org/mozilla/webclient/CurrentPage.java index 53759d1d5f8..5a1cc8bbdae 100644 --- a/mozilla/java/webclient/classes_spec/org/mozilla/webclient/CurrentPage.java +++ b/mozilla/java/webclient/classes_spec/org/mozilla/webclient/CurrentPage.java @@ -22,6 +22,8 @@ package org.mozilla.webclient; +import java.util.Properties; + public interface CurrentPage { public void copyCurrentSelectionToSystemClipboard(); @@ -34,7 +36,7 @@ public String getCurrentURL(); // org.w3c.dom.Document getDOM(); - // webclient.PageInfo getPageInfo(); +public Properties getPageInfo(); public String getSource(); diff --git a/mozilla/java/webclient/classes_spec/org/mozilla/webclient/UnimplementedException.java b/mozilla/java/webclient/classes_spec/org/mozilla/webclient/UnimplementedException.java new file mode 100644 index 00000000000..4223d0b01bb --- /dev/null +++ b/mozilla/java/webclient/classes_spec/org/mozilla/webclient/UnimplementedException.java @@ -0,0 +1,22 @@ +/** This class implements the UnimplementedException Exception + class. This derives from RuntimeException and is used as a + placeholder definition for all API functions that have not + yet been implemented + */ + +package org.mozilla.webclient; + +import java.lang.*; + + +public class UnimplementedException extends RuntimeException +{ + + public UnimplementedException() { } + + public UnimplementedException(String msg) + { + super(msg); + } + +}