docs: private void formMouseClicked(java.awt.event.MouseEvent evt) {//GEN-FIRST:event_formMouseClicked
          if(highlighted_cluster!=null){
              highlighted_cluster.highlight(false);
              highlighted_cluster=null;
          }
      }