--- a/dwtx/jface/text/projection/ProjectionDocumentManager.d	Sun Aug 24 02:22:48 2008 +0200
+++ b/dwtx/jface/text/projection/ProjectionDocumentManager.d	Sun Aug 24 02:26:23 2008 +0200
@@ -159,7 +159,7 @@
      * @see dwtx.jface.text.ISlaveDocumentManager#createMasterSlaveMapping(dwtx.jface.text.IDocument)
      */
     public IDocumentInformationMapping createMasterSlaveMapping(IDocument slave) {
-        if (slave instanceof ProjectionDocument) {
+        if ( cast(ProjectionDocument)slave ) {
             ProjectionDocument projectionDocument= cast(ProjectionDocument) slave;
             return projectionDocument.getDocumentInformationMapping();
         }
@@ -191,7 +191,7 @@
      * @see dwtx.jface.text.ISlaveDocumentManager#freeSlaveDocument(dwtx.jface.text.IDocument)
      */
     public void freeSlaveDocument(IDocument slave) {
-        if (slave instanceof ProjectionDocument) {
+        if ( cast(ProjectionDocument)slave ) {
             ProjectionDocument projectionDocument= cast(ProjectionDocument) slave;
             IDocument master= projectionDocument.getMasterDocument();
             remove(master, projectionDocument);
@@ -205,7 +205,7 @@
      * @see dwtx.jface.text.ISlaveDocumentManager#getMasterDocument(dwtx.jface.text.IDocument)
      */
     public IDocument getMasterDocument(IDocument slave) {
-        if (slave instanceof ProjectionDocument)
+        if ( cast(ProjectionDocument)slave )
             return (cast(ProjectionDocument) slave).getMasterDocument();
         return null;
     }
@@ -214,14 +214,14 @@
      * @see dwtx.jface.text.ISlaveDocumentManager#isSlaveDocument(dwtx.jface.text.IDocument)
      */
     public bool isSlaveDocument(IDocument document) {
-        return (document instanceof ProjectionDocument);
+        return ( cast(ProjectionDocument)document );
     }
 
     /*
      * @see dwtx.jface.text.ISlaveDocumentManager#setAutoExpandMode(dwtx.jface.text.IDocument, bool)
      */
     public void setAutoExpandMode(IDocument slave, bool autoExpanding) {
-        if (slave instanceof ProjectionDocument)
+        if ( cast(ProjectionDocument)slave )
             (cast(ProjectionDocument) slave).setAutoExpandMode(autoExpanding);
     }