public boolean resetDefaultHighlighter(boolean activeClusterChanged) {
   if (automatic
       && controler.getHighlighter() == Highlighter.CLUSTER_HIGHLIGHTER
       && activeClusterChanged
       && clustering.getNumClusters() > 1
       && clustering.isClusterActive()) {
     controler.setHighlighter(Highlighter.DEFAULT_HIGHLIGHTER, false);
     automatic = true;
     return true;
   }
   return false;
 }
 private void update() {
   if (controler.getHighlighter() == Highlighter.CLUSTER_HIGHLIGHTER
       && !clustering.isClusterActive()) automatic = true;
   else automatic = false;
 }