--- a/dwtx/text/edits/EditDocument.d	Sun Aug 24 02:31:41 2008 +0200
+++ b/dwtx/text/edits/EditDocument.d	Sun Aug 24 03:23:46 2008 +0200
@@ -68,7 +68,7 @@
         throw new UnsupportedOperationException();
     }
 
-    public void addPosition(String category, Position position) throws BadLocationException, BadPositionCategoryException {
+    public void addPosition(String category, Position position)  {
         throw new UnsupportedOperationException();
     }
 
@@ -84,7 +84,7 @@
         throw new UnsupportedOperationException();
     }
 
-    public int computeIndexInCategory(String category, int offset) throws BadLocationException, BadPositionCategoryException {
+    public int computeIndexInCategory(String category, int offset)  {
         throw new UnsupportedOperationException();
     }