--- a/dwtx/jface/text/projection/ProjectionDocument.d	Sun Aug 24 01:52:31 2008 +0200
+++ b/dwtx/jface/text/projection/ProjectionDocument.d	Sun Aug 24 02:20:40 2008 +0200
@@ -298,7 +298,7 @@
      * @throws BadLocationException if the given range is invalid in the master
      *             document
      */
-    private void internalAddMasterDocumentRange(int offsetInMaster, int lengthInMaster, DocumentEvent masterDocumentEvent) throws BadLocationException {
+    private void internalAddMasterDocumentRange(int offsetInMaster, int lengthInMaster, DocumentEvent masterDocumentEvent)  {
         if (lengthInMaster is 0)
             return;
 
@@ -405,7 +405,7 @@
      *             this projection document or is not completely comprised by
      *             an existing fragment
      */
-    private void internalRemoveMasterDocumentRange(int offsetInMaster, int lengthInMaster) throws BadLocationException {
+    private void internalRemoveMasterDocumentRange(int offsetInMaster, int lengthInMaster)  {
         try {
 
             IRegion imageRegion= fMapping.toExactImageRegion(new Region(offsetInMaster, lengthInMaster));
@@ -470,7 +470,7 @@
      * @throws BadLocationException in case the given range is invalid in the
      *         master document
      */
-    public final IRegion[] computeUnprojectedMasterRegions(int offsetInMaster, int lengthInMaster) throws BadLocationException {
+    public final IRegion[] computeUnprojectedMasterRegions(int offsetInMaster, int lengthInMaster)  {
 
         IRegion[] fragments= null;
         IRegion imageRegion= fMapping.toImageRegion(new Region(offsetInMaster, lengthInMaster));
@@ -517,7 +517,7 @@
      *         master document
      * @since 3.1
      */
-    private IRegion computeFirstUnprojectedMasterRegion(int offsetInMaster, int lengthInMaster) throws BadLocationException {
+    private IRegion computeFirstUnprojectedMasterRegion(int offsetInMaster, int lengthInMaster)  {
 
         IRegion[] fragments= null;
         IRegion imageRegion= fMapping.toImageRegion(new Region(offsetInMaster, lengthInMaster));
@@ -556,7 +556,7 @@
      * @param lengthInMaster the length of the master document range
      * @throws BadLocationException in case the master event is not valid
      */
-    public void addMasterDocumentRange(int offsetInMaster, int lengthInMaster) throws BadLocationException {
+    public void addMasterDocumentRange(int offsetInMaster, int lengthInMaster)  {
         addMasterDocumentRange(offsetInMaster, lengthInMaster, null);
     }
 
@@ -570,7 +570,7 @@
      *            projection change, or <code>null</code> if none
      * @throws BadLocationException in case the master event is not valid
      */
-    private void addMasterDocumentRange(int offsetInMaster, int lengthInMaster, DocumentEvent masterDocumentEvent) throws BadLocationException {
+    private void addMasterDocumentRange(int offsetInMaster, int lengthInMaster, DocumentEvent masterDocumentEvent)  {
         /*
          * Calling internalAddMasterDocumentRange may cause other master ranges
          * to become unfolded, resulting in re-entrant calls to this method. In
@@ -601,7 +601,7 @@
      * @param lengthInMaster the length of the master document range
      * @throws BadLocationException in case the master event is not valid
      */
-    public void removeMasterDocumentRange(int offsetInMaster, int lengthInMaster) throws BadLocationException {
+    public void removeMasterDocumentRange(int offsetInMaster, int lengthInMaster)  {
         IRegion[] fragments= computeProjectedMasterRegions(offsetInMaster, lengthInMaster);
         if (fragments is null || fragments.length is 0)
             return;
@@ -622,7 +622,7 @@
      * @return the sequence of regions which are part of the projection document or <code>null</code>
      * @throws BadLocationException in case the given range is invalid in the master document
      */
-    public final IRegion[] computeProjectedMasterRegions(int offsetInMaster, int lengthInMaster) throws BadLocationException {
+    public final IRegion[] computeProjectedMasterRegions(int offsetInMaster, int lengthInMaster)  {
         IRegion imageRegion= fMapping.toImageRegion(new Region(offsetInMaster, lengthInMaster));
         return imageRegion !is null ? fMapping.toExactOriginRegions(imageRegion) : null;
     }
@@ -639,7 +639,7 @@
     /*
      * @see dwtx.jface.text.IDocument#replace(int, int, java.lang.String)
      */
-    public void replace(int offset, int length, String text) throws BadLocationException {
+    public void replace(int offset, int length, String text)  {
         try {
             fIsUpdating= true;
             if (fMasterDocumentExtension !is null)
@@ -680,7 +680,7 @@
      * @return the slave document event
      * @throws BadLocationException in case the master event is not valid
      */
-    private ProjectionDocumentEvent normalize(DocumentEvent masterEvent) throws BadLocationException {
+    private ProjectionDocumentEvent normalize(DocumentEvent masterEvent)  {
         if (!isUpdating()) {
             IRegion imageRegion= fMapping.toExactImageRegion(new Region(masterEvent.getOffset(), masterEvent.getLength()));
             if (imageRegion !is null)
@@ -701,7 +701,7 @@
      * @return <code>true</code> if masterEvent affects this projection document
      * @throws BadLocationException in case the master event is not valid
      */
-    protected final bool adaptProjectionToMasterChange(DocumentEvent masterEvent) throws BadLocationException {
+    protected final bool adaptProjectionToMasterChange(DocumentEvent masterEvent)  {
         if (!isUpdating() && fFragmentsUpdater.affectsPositions(masterEvent) || fIsAutoExpanding && masterEvent.getLength() > 0) {
 
             addMasterDocumentRange(masterEvent.getOffset(), masterEvent.getLength(), masterEvent);
@@ -891,7 +891,7 @@
      * @param lengthInMaster the length in the master document
      * @throws BadLocationException if the given range of the master document is not valid
      */
-    public void replaceMasterDocumentRanges(int offsetInMaster, int lengthInMaster) throws BadLocationException {
+    public void replaceMasterDocumentRanges(int offsetInMaster, int lengthInMaster)  {
         try {
 
             ProjectionDocumentEvent event= new ProjectionDocumentEvent(this, 0, fMapping.getImageLength(), fMasterDocument.get(offsetInMaster, lengthInMaster), offsetInMaster, lengthInMaster);