--- a/dwtx/text/edits/EditDocument.d	Sun Aug 24 01:52:31 2008 +0200
+++ b/dwtx/text/edits/EditDocument.d	Sun Aug 24 02:20:40 2008 +0200
@@ -64,7 +64,7 @@
         throw new UnsupportedOperationException();
     }
 
-    public void addPosition(Position position) throws BadLocationException {
+    public void addPosition(Position position)  {
         throw new UnsupportedOperationException();
     }
 
@@ -92,7 +92,7 @@
         throw new UnsupportedOperationException();
     }
 
-    public ITypedRegion[] computePartitioning(int offset, int length) throws BadLocationException {
+    public ITypedRegion[] computePartitioning(int offset, int length)  {
         throw new UnsupportedOperationException();
     }
 
@@ -108,15 +108,15 @@
         return fBuffer.toString();
     }
 
-    public String get(int offset, int length) throws BadLocationException {
+    public String get(int offset, int length)  {
         return fBuffer.substring(offset, offset + length);
     }
 
-    public char getChar(int offset) throws BadLocationException {
+    public char getChar(int offset)  {
         throw new UnsupportedOperationException();
     }
 
-    public String getContentType(int offset) throws BadLocationException {
+    public String getContentType(int offset)  {
         throw new UnsupportedOperationException();
     }
 
@@ -136,27 +136,27 @@
         return fBuffer.length();
     }
 
-    public String getLineDelimiter(int line) throws BadLocationException {
+    public String getLineDelimiter(int line)  {
         throw new UnsupportedOperationException();
     }
 
-    public IRegion getLineInformation(int line) throws BadLocationException {
+    public IRegion getLineInformation(int line)  {
         throw new UnsupportedOperationException();
     }
 
-    public IRegion getLineInformationOfOffset(int offset) throws BadLocationException {
+    public IRegion getLineInformationOfOffset(int offset)  {
         throw new UnsupportedOperationException();
     }
 
-    public int getLineLength(int line) throws BadLocationException {
+    public int getLineLength(int line)  {
         throw new UnsupportedOperationException();
     }
 
-    public int getLineOffset(int line) throws BadLocationException {
+    public int getLineOffset(int line)  {
         throw new UnsupportedOperationException();
     }
 
-    public int getLineOfOffset(int offset) throws BadLocationException {
+    public int getLineOfOffset(int offset)  {
         throw new UnsupportedOperationException();
     }
 
@@ -164,11 +164,11 @@
         throw new UnsupportedOperationException();
     }
 
-    public int getNumberOfLines(int offset, int length) throws BadLocationException {
+    public int getNumberOfLines(int offset, int length)  {
         throw new UnsupportedOperationException();
     }
 
-    public ITypedRegion getPartition(int offset) throws BadLocationException {
+    public ITypedRegion getPartition(int offset)  {
         throw new UnsupportedOperationException();
     }
 
@@ -176,7 +176,7 @@
         throw new UnsupportedOperationException();
     }
 
-    public Position[] getPositions(String category) throws BadPositionCategoryException {
+    public Position[] getPositions(String category)  {
         throw new UnsupportedOperationException();
     }
 
@@ -200,11 +200,11 @@
         throw new UnsupportedOperationException();
     }
 
-    public void removePosition(String category, Position position) throws BadPositionCategoryException {
+    public void removePosition(String category, Position position)  {
         throw new UnsupportedOperationException();
     }
 
-    public void removePositionCategory(String category) throws BadPositionCategoryException {
+    public void removePositionCategory(String category)  {
         throw new UnsupportedOperationException();
     }
 
@@ -216,11 +216,11 @@
         throw new UnsupportedOperationException();
     }
 
-    public void replace(int offset, int length, String text) throws BadLocationException {
+    public void replace(int offset, int length, String text)  {
         fBuffer.replace(offset, offset + length, text);
     }
 
-    public int search(int startOffset, String findString, bool forwardSearch, bool caseSensitive, bool wholeWord) throws BadLocationException {
+    public int search(int startOffset, String findString, bool forwardSearch, bool caseSensitive, bool wholeWord)  {
         throw new UnsupportedOperationException();
     }