break;
case 7 :
if ( !explorerViewCenterPanel.showIfOpen( RULE_VERIFIER_MANAGER ) ) {
explorerViewCenterPanel.addTab( constants.RulesVerificationManager(),
new RuleVerifierManager(),
RULE_VERIFIER_MANAGER );
}
break;
case 8 :
if ( !explorerViewCenterPanel.showIfOpen( REPOCONFIG ) ) explorerViewCenterPanel.addTab( constants.RepositoryConfig(),