--- a/dwtx/jface/text/projection/ProjectionDocument.d	Sun Aug 24 02:31:41 2008 +0200
+++ b/dwtx/jface/text/projection/ProjectionDocument.d	Sun Aug 24 03:23:46 2008 +0200
@@ -199,17 +199,17 @@
 
     /**
      * Returns the projection mapping used by this document.
-     * 
+     *
      * @return the projection mapping used by this document
      * @deprecated As of 3.4, replaced by {@link #getDocumentInformationMapping()}
      */
     public ProjectionMapping getProjectionMapping(){
         return fMapping;
     }
-    
+
     /**
      * Returns the projection mapping used by this document.
-     * 
+     *
      * @return the projection mapping used by this document
      * @since 3.4
      */
@@ -225,7 +225,7 @@
     public IDocument getMasterDocument() {
         return fMasterDocument;
     }
-    
+
     /*
      * @see dwtx.jface.text.IDocumentExtension4#getDefaultLineDelimiter()
      * @since 3.1
@@ -233,7 +233,7 @@
     public String getDefaultLineDelimiter() {
         return TextUtilities.getDefaultLineDelimiter(fMasterDocument);
     }
-    
+
     /**
      * Initializes the projection document from the master document based on
      * the master's fragments.
@@ -272,7 +272,7 @@
      * @throws BadLocationException in case the fragment is invalid
      * @throws BadPositionCategoryException in case the segment category is invalid
      */
-    private Segment createSegmentFor(Fragment fragment, int index) throws BadLocationException, BadPositionCategoryException {
+    private Segment createSegmentFor(Fragment fragment, int index)  {
 
         int offset= 0;
         if (index > 0) {
@@ -478,7 +478,7 @@
             fragments= fMapping.toExactOriginRegions(imageRegion);
 
         if (fragments is null || fragments.length is 0)
-            return new IRegion[] { new Region(offsetInMaster, lengthInMaster) };
+            return [ new Region(offsetInMaster, lengthInMaster) ];
 
         List gaps= new ArrayList();
 
@@ -843,7 +843,7 @@
                     // join fragments and their corresponding segments
                     segment.setLength(segment.getLength() + next.getLength());
                     fragment.setLength(fragment.getLength() + next.fragment.getLength());
-                    next.delete();
+                    next.delete_();
                 }
             }
         }