~yrke/tapaal/removeNetType

import pipe.gui.graphicElements.PetriNetObject;

 

public class SmartDrawDialog extends JDialog {

        private static String getHelpMessage(){ 

                // There is automatic word wrapping in the control that displays the text, so you don't need line breaks in paragraphs.

                StringBuffer buffer = new StringBuffer();

        int minimumIterations = 3;

        

        private Timer timer = new Timer(1000, new AbstractAction() {

                public void actionPerformed(ActionEvent e) {

                        timerLabel.setText("Time elapsed: " + (System.currentTimeMillis() - startTimeMs) / 1000 + " s");

                }