public static void removeLogAdministrator(LogAdministrator admin){
  logAdministrators_.remove(admin);
  if (service_ != null) {
    admin.deregisterLogControl(service_.getLogControl());
  }
}

public static void removeLogAdministrator ( LogAdministrator admin ) { logAdministrators_ . remove ( admin ) ; if ( service_ != null ) { admin . deregisterLogControl ( service_ . getLogControl ( ) ) ; } }
remove a log administrator .
