Index: jbossas4-4.2.3.GA/cluster/src/main/org/jboss/ha/framework/server/ClusterPartition.java
===================================================================
--- jbossas4-4.2.3.GA.orig/cluster/src/main/org/jboss/ha/framework/server/ClusterPartition.java	2008-07-18 16:59:51.000000000 +0200
+++ jbossas4-4.2.3.GA/cluster/src/main/org/jboss/ha/framework/server/ClusterPartition.java	2008-11-10 20:16:11.000000000 +0100
@@ -410,7 +410,6 @@
    
    protected void stopService() throws Exception
    {
-      stopChannelDebugger();
       log.debug("Stopping ClusterPartition: " + partitionName);
       partition.closePartition();
       log.debug("Stopped ClusterPartition: " + partitionName);
Index: jbossas4-4.2.3.GA/cluster/src/main/org/jboss/ha/framework/server/ClusterPartitionMBean.java
===================================================================
--- jbossas4-4.2.3.GA.orig/cluster/src/main/org/jboss/ha/framework/server/ClusterPartitionMBean.java	2008-07-18 16:59:51.000000000 +0200
+++ jbossas4-4.2.3.GA/cluster/src/main/org/jboss/ha/framework/server/ClusterPartitionMBean.java	2008-11-10 20:16:11.000000000 +0100
@@ -207,7 +207,4 @@
 
    String showHistoryAsXML ();
 
-   void startChannelDebugger();
-   void startChannelDebugger(boolean accumulative);
-   void stopChannelDebugger();
 }