private void buttonRedrawMouseClicked(java.awt.event.MouseEvent evt) {//GEN-FIRST:event_buttonRedrawMouseClicked
        if (visualizer != null) 
            visualizer.redraw();
    }
private void buttonRedrawMouseClicked ( java . awt . event . MouseEvent evt ) { if ( visualizer != null ) visualizer . redraw ( ) ; }
</editor-fold>//GEN-END:initComponents