case UP_to_STOP_REQUESTED: {
if (overrideRegistration != null) {
overrideRegistration.unregisterSubModel(JDBC_STATISTICS);
overrideRegistration.unregisterSubModel(POOL_STATISTICS);
}
<BUG>if (resource.hasChild(JDBC_STATISTICS)) {
resource.removeChild(JDBC_STATISTICS);
}
if (resource.hasChild(POOL_STATISTICS)) {
resource.removeChild(POOL_STATISTICS);
}</BUG>
break;

case UP_to_STOP_REQUESTED: {
if (overrideRegistration != null) {
overrideRegistration.unregisterSubModel(JDBC_STATISTICS);
overrideRegistration.unregisterSubModel(POOL_STATISTICS);
