--- a/dwtx/jface/text/IDocument.d	Sun Aug 24 03:23:46 2008 +0200
+++ b/dwtx/jface/text/IDocument.d	Sun Aug 24 21:25:28 2008 +0200
@@ -445,7 +445,7 @@
      * @throws BadLocationException if position describes an invalid range in this document
      * @throws BadPositionCategoryException if the category is undefined in this document
      */
-    void addPosition(String category, Position position) throws BadLocationException, BadPositionCategoryException;
+    void addPosition(String category, Position position);
 
     /**
      * Removes the given position from the specified position category.
@@ -492,7 +492,7 @@
      * @exception BadLocationException if offset is invalid in this document
      * @exception BadPositionCategoryException if category is undefined in this document
      */
-    int computeIndexInCategory(String category, int offset) throws BadLocationException, BadPositionCategoryException;
+    int computeIndexInCategory(String category, int offset);
 
     /**
      * Appends a new position updater to the document's list of position updaters.