/*
 @OPERATION void calculateArt(){
 	calculate();
 }
 */
 @OPERATION
 void clusterCClusterer(int a) {
   // logger.info("HHH clCCclusterer");
   model.changeClusterer(a);
 }